Исследование правил вывода в модальных логиках, расширяющих S4 Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06
Main Author: | Кияткин, Владимир Ростиславович |
---|---|
Format: | Book |
Language: | Russian |
Published: |
Красноярск
1999
|
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Допустимые правила вывода в нестандартных логиках и их базисы Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Римацкий, Виталий Валентинович
Published: (2000) -
Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06.
by: Руцкий, Алексей Николаевич
Published: (2002) -
Исследование правил вывода в нестандартных логиках Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Федоришин, Богдан Романович
Published: (2002) -
Приложение семантики Крипке к исследованию правил вывода Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Безгачева, Юлия Викторовна
Published: (1998) -
Допустимые и выводимые правила вывода в нестандартных логиках автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06
by: Юрасова, Екатерина Михайловна
Published: (2004)