Континуальные семейства логик

Article Sidebar

PDF
Опубликован: 04.12.2007
DOI: https://doi.org/10.21146/2074-1472-2007-14-0-131-151

Main Article Content

И.А. Горбунов
М.Н. Рыбаков

Аннотация

Описаны общие методы построения классов, содержащих континуум логик. Показано, как доказать, что существуют цепи и антицепи, состоящие из континуума логики; доказательства применимы к Int, К, K4, GL и многим другим. Мы ставим несколько вопросов о существовании классов с определенными свойствами, содержащими континуум логик.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Горбунов И., Рыбаков М. Континуальные семейства логик // Логические исследования / Logical Investigations. 2007. Т. 14. C. 131-151.
Выпуск
Том 14 (2007)
Раздел
Статьи

Литература

Гретцер Г. Общая теория решёток. М., Мир, 1982.
Chagrov A., Zakharyaschev М. Modal Logic. Oxford University Press, 1997.