A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

DOI10.2307/2272344zbMath0289.02032OpenAlexW2106716518MaRDI QIDQ4777279

Dick H. J. de Jongh, Dov M. Gabbay

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272344

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99) Intermediate logics (03B55)

Related Items (37)

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ The Complexity of Disjunction in Intuitionistic Logic ⋮ On the predicate logics of finite Kripke frames ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ Incompleteness results in Kripke semantics ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ Counting the maximal intermediate constructive logics ⋮ 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 ⋮ Propositional lax logic ⋮ Two classes of intermediate propositional logics without disjunction property ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Intermediate logics and the de Jongh property ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Canonical formulas for a paraconsistent analog of the Scott logic ⋮ Generalized tableau systems for intermediate propositional logics ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ The disjunction property of intermediate propositional logics ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Intermediate logics and Visser's rules ⋮ On the rules of intermediate logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ A(nother) characterization of intuitionistic propositional logic ⋮ On Finite Model Property for Admissible Rules ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ Some results on the intermediate logics ⋮ On the proof complexity of logics of bounded branching ⋮ A result on the completeness of superintuitionistic logics ⋮ Finite approximability of forest superintuitionistic logics

Cites Work

• On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

This page was built for publication: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property