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

##plugins.themes.bootstrap3.article.main##

I.A. Gorbunov
M.N. Rybakov

Abstract

General methods of constructing classes containing continuum of logics are described. It is shown how to prove that there exist chains and antichains consisting of continuum of logics; the proofs are applicable to Int, К, K4, GL, and many others. We put some questions about existence of classes with certain properties containing continuum of logics.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

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