Studia Logica 55 (1):99 - 112 (1995)
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 | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1007/BF01053034 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
Klassische Und Nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1982 - Studia Logica 41 (4):431-431.
Modal Logics Between S 4 and S 5.M. Dummett & E. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
View all 10 references / Add more references
Citations of this work BETA
Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
Variable Sharing in Substructural Logics: An Algebraic Characterization.Guillermo Badia - 2018 - Bulletin of the Section of Logic 47 (2):107-115.
A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.
Larisa Maksimova on Implication, Interpolation, and Definability.Sergei Odintsov (ed.) - 2018 - Cham, Switzerland: Springer Verlag.
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.
Similar books and articles
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
Interpolation and Amalgamation; Pushing the Limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Amalgamation and Interpolation in Normal Modal Logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Varieties of Monadic Heyting Algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Superintuitionistic Companions of Classical Modal Logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Analytics
Added to PP index
2009-01-28
Total views
22 ( #515,644 of 2,519,506 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,506 )
2009-01-28
Total views
22 ( #515,644 of 2,519,506 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,506 )
How can I increase my downloads?
Downloads