Приложение семантики Крипке к исследованию правил вывода : автореферат дис. ... канд. физ.-мат. наукавтореферат диссертации
Цифровые и тематические книжные коллекции издания
Похожие публикации
Исследование правил вывода в модальных логиках, расширяющих S4 : автореферат дис. ... канд. физ.-мат. наук
- Кияткин Владимир Ростиславович
- 1999 год
Исследование правил вывода в нестандартных логиках : автореферат диссертации ... кандидата физико-математических наук
- Федоришин Богдан Романович
- 2002 год
Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках :…
- Руцкий Алексей Николаевич
- 2002 год
Явный базис допустимых правил вывода логик конечной ширины : статья из журнала
- Римацкий В. В.
- 2008 год
Коммутаторное строение и автоморфизмы обобщенных конгруэнц-подгрупп… : автореферат дис. ... канд. физ.-мат. наук
- Колесников Сергей Геннадьевич
- 1997 год
Исследование правил вывода в модальных логиках, расширяющих S4 : диссертация ... кандидата физико-математических наук
- Кияткин Владимир Ростиславович
- 1999 год
Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации … кандидата физико…
- Юрасова Екатерина Михайловна
- 2004 год
Временные многоагентные логики и проблема унификации : автореферат дис. ... канд. физ.-мат. наук
- Башмаков Степан Игоревич
- 2018 год
Допустимые правила вывода нестандартных логик и их базисы : диссертация ... кандидата физико-математических наук
- Римацкий Виталий В.
- 2000 год
Разрешимость по допустимости правил вывода некоторых линейных логик : статья из журнала
- Кошелева Анна Владимировна
- 2006 год
Явный базис допустимых правил вывода табличной логики : статья из журнала
- Лукина О. В. и др.
- 2006 год
Временные многоагентные логики и проблема унификации : дис. ... канд. физ.-мат. наук
- Башмаков Степан Игоревич
- 2017 год