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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
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.
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

Variable Sharing in Substructural Logics: An Algebraic Characterization.Guillermo Badia - 2018 - Bulletin of the Section of Logic 47 (2):107-115.
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.

Add more citations

Similar books and articles

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 )

How can I increase my downloads?

Downloads

My notes