- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The disjunction property of intermediate propositional logics
Studia Logica 50 (2):189 - 216 (1991)
Abstract
This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.Other Versions
No versions found
My notes
Similar books and articles
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
Structural completeness and the disjunction property of intermediate logics.Tadeusz Prucnal - 1975 - Bulletin of the Section of Logic 4 (2):72-73.
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 the Negative Disjuntion Property.Craig Graham McKay - 2018 - Australasian Journal of Logic 15 (1).
On Harrop disjunction property in intermediate predicate logics.Katsumasa Ishii - 2023 - Archive for Mathematical Logic 63 (3):317-324.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
Analytics
Added to PP
2009-01-28
Downloads
69 (#248,141)
6 months
10 (#599,145)
2009-01-28
Downloads
69 (#248,141)
6 months
10 (#599,145)
Historical graph of downloads
Citations of this work
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.
Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.
References found in this work
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7b7f6c6655-fx2cg uwo