https://ncatlab.org/nlab/show/context#SplitContexts
правда, в модальных теориях типов в этих split contexts одного рода сущности, конечно
+ вот что ещё. Логические константы, как указано в https://plato.stanford.edu/entries/logical-constants/, полагаются нейтральными к тому или иному предмету (topic neutral). ...
С чего начать чтобы подготовиться к ЕГЭ по математике?
Или немонотонные доказательства не будут композиться? 🤔
Будете новые основания математики придумывать?
А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что
@amaka_hahina привет. А что Вы думаете об игровых семантиках логики? В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
термин "game semantics" сам по себе — многозначный это одно в теории моделей и другое — в пруф-теоретической семантике (Жирар?), а может — не разбираюсь — третье в денотацион...
Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...
Интересно, как часто крутые философы забугорные писали сразу о двух русских представителях философской дисциплины?, и интересно, сколько студентов на философских факультетах з...
Обсуждают сегодня