__
причем тут категорная семантика
Size: a a a
2021 July 26
B
?
B
человек именно об этом же и спросил
B
Переслано от Proof:
у меня тут вопрос возник, когда я смотрел на постулаты логики высказываний — их же можно категорно записать все?
NI
Можно.
B
у вас немного дежавю
__
да прост, то что ты предложил на мой делетантский взгляд не согласуется с известными мне методами обеспечения категориальной семантики для логических систем
__
вот поэтому, я и хотел выяснить причем тут она
B
почему это не согласуется
B
что ты имеешь в виду под категорной семантикой тогда
__
https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/categorical-semantics-of-linear-logic.pdf ну вот чото такое наврн, и с катлаба там еще
B
ну
B
сначала тебя вводят в исчисление секвенций
B
потом показывается, как можно обычные формулы рассмотреть деривационно в исчислении секвенций
взято правило Пирса как пример
взято правило Пирса как пример
__
B
потом мы переходим к пруф-теоретической семантике
__
не согласуется кароч
__
вот эту глянь статью еще
__
как то оно вроде не так, а мож и так