The disjunction property of intermediate propositional logics

DOI10.1007/BF00370182zbMath0739.03016MaRDI QIDQ1181482

Michael Zakharyashchev, Alexander Chagrov

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

disjunction propertyHalldén-completenessintermediate propositional logicsnormal modal logics containing \(S4\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

Logic of negation-complete interactive proofs (formal theory of epistemic deciders), Multiple Conclusion Rules in Logics with the Disjunction Property, A new solution to a problem of Hosoi and Ono, A Note on Extensions: Admissible Rules via Semantics, The undecidability of the disjunction property of propositional logics and other related problems, Some obstacles facing a semantic foundation for constructive mathematics, A method to single out maximal propositional logics with the disjunction property. I, A method to single out maximal propositional logics with the disjunction property. II, All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete, Admissibility and refutation: some characterisations of intermediate logics, The disjunction property of intermediate propositional logics, Single chain completeness and some related properties, Modal companions of intermediate propositional logics, Maximality and refutability, On maximal intermediate predicate constructive logics, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• On disjunctions and existential statements in intuitionistic systems of logic
• Undecidable properties of extensions of provability logic. II
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On maximal intermediate logics with the disjunction property
• Two classes of intermediate propositional logics without disjunction property
• A class of logics without disjunction property
• Interpolation properties of superintuitionistic logics
• On fragments of Medvedev's logic
• Some syntactical properties of intermediate predicate logics
• The disjunction property of intermediate propositional logics
• A lattice of normal modal logics
• Provability interpretations of modal logic
• The principle of separation of variables in propositional logics
• Logics without Craig's interpolation property
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Untersuchungen über das logische Schliessen. II
• A note on Hallden-incompleteness
• Some results on the intermediate logics
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• The equivalence of the disjunction and existence properties for modal arithmetic
• Logics containing K4. Part II
• On formulas of one variable in intuitionistic propositional calculus
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
• The disjunction property implies the numerical existence property
• Logics containing K4. Part I
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The decidability of the Kreisel-Putnam system
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
• Some theorems about the sentential calculi of Lewis and Heyting
• On the semantic non-completeness of certain Lewis calculi
• Propositional Calculus and Realizability
• Systems of modal logic which are not unreasonable in the sense of Halldén
• On the interpretation of intuitionistic number theory