CE
А, то есть, вы хотите чтобы непрерывная интерпретация была?
Size: a a a
2019 November 26
CE
Тогда какая топология на формулах?
B
Я вас не понимаю.
CE
Прошу прощения:( Я тоже видимо недопонял, что значит соотносится.
B
Это значит определение того, при каких условиях некоторая формула будет считаться истинной (как минимум именно это основание модельной семантики).
B
В терминах выполнения, если берём модельную семантику и её понятия
CE
Тогда что делает отношение выполнения геометрическим?
B
Есть геометрические логики так называемые
CE
То есть так называемость?
CE
Или есть глубинный смысл?
B
Не знаю, что лучше скинуть, не знаю обзоров по теме.
B
То есть так называемость?
Не понимаю, что пишете
B
Название такое: геометрические логики.
CE
Если это про логику топосов Гротендика, то я немного знаю про это
CE
Если это какая то разновидность модальных логик, то не уверен
B
CE
CE
Я просто хотел понять что стоит за геометричностью интепретации
B
Ну вот там задана очевидным образом категорная семантика
CE