типа для классического пропозиционального фрагмента без экспоненциалов?
Например. Я не зря написал «логик» во множественном числе.
С чего начать чтобы подготовиться к ЕГЭ по математике?
Или немонотонные доказательства не будут композиться? 🤔
А самый первый из людей по теме интенсиональной конъюнкции оказался, Орлов (?). @massimonova поправит, если что
@amaka_hahina привет. А что Вы думаете об игровых семантиках логики? В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
термин "game semantics" сам по себе — многозначный это одно в теории моделей и другое — в пруф-теоретической семантике (Жирар?), а может — не разбираюсь — третье в денотацион...
Меня смутило, что спрашивают какие-то религиозные вопросы о математике с расплывчатыми формулировками, которые я не понимаю) Возможно, как и Александр, я не в теме такой матем...
Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...
Интересно, как часто крутые философы забугорные писали сразу о двух русских представителях философской дисциплины?, и интересно, сколько студентов на философских факультетах з...
А в чём прикол игросема для всего подряд? ;-) Видится только возможность ко всему подряд присобачить какую-то семантику "взаимодействия". Игры, это часто, что-то близкое к кон...
Простите если оффтоп, но учитывая фразу в описании канала считаю свой вопрос допустимым здесь: Точнее вопросов два: 1. Существует ли какое-то обобщение над понятием системы с...
Обсуждают сегодня