An infinite class of maximal intermediate propositional logics with the disjunction property

Archive for Mathematical Logic 31 (6):415-432 (1992)

Abstract
Infinitely many intermediate propositional logics with the disjunction property are defined, each logic being characterized both in terms of a finite axiomatization and in terms of a Kripke semantics with the finite model property. The completeness theorems are used to prove that any two logics are constructively incompatible. As a consequence, one deduces that there are infinitely many maximal intermediate propositional logics with the disjunction property
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01277484
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,419
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

Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Maximality and Refutability.Tom Skura - 2004 - Notre Dame Journal of Formal Logic 45 (2):65-72.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
An Intuitionistic Characterization of Classical Logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.

Analytics

Added to PP index
2013-11-23

Total views
9 ( #784,576 of 2,271,944 )

Recent downloads (6 months)
1 ( #822,813 of 2,271,944 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature