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
Request removal from index
|
Download options
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.
On Maximal Intermediate Logics with the Disjunction Property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67 - 78.
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3/4):74.
View all 10 references / Add more references
Citations of this work BETA
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
A Method to Single Out Maximal Propositional Logics with the Disjunction Property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
A Method to Single Out Maximal Propositional Logics with the Disjunction Property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.
Similar books and articles
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
On Maximal Intermediate Logics with the Disjunction Property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
A Note on Admissible Rules and the Disjunction Property in Intermediate Logics.Alexander Citkin - 2012 - Archive for Mathematical Logic 51 (1-2):1-14.
A Method to Single Out Maximal Propositional Logics with the Disjunction Property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
A Method to Single Out Maximal Propositional Logics with the Disjunction Property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.
Two Classes of Intermediate Propositional Logics Without Disjunction Property.Fabio Bellissima - 1989 - Archive for Mathematical Logic 28 (1):23-33.
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
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 )
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
