On variable separation in modal and superintuitionistic logics |
| |
Authors: | Larisa Maksimova |
| |
Affiliation: | (1) Institute of Mathematics, Siberian Division of Russian Academy of Sciences, 630090 Novosibirsk, Russia |
| |
Abstract: | In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any normal modal logic is equivalent to the so-called super-embedding property of a suitable class of modal algebras. The joint embedding property of a class of algebras is equivalent to the Pseudo-Relevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of of the principle of variable separation in superintuitionistic logics will be found. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|