On maximal intermediate logics with the disjunction property
From MaRDI portal
Publication:1097260
DOI10.1007/BF01881550zbMath0635.03019MaRDI QIDQ1097260
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
Related Items (31)
Propositional logics of dependence ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ A new solution to a problem of Hosoi and Ono ⋮ A generalization of inquisitive semantics ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Conditionals, probability, and non-triviality ⋮ 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 ⋮ Axiomatic extensions of the constructive logic with strong negation and the disjunction property ⋮ Propositional lax logic ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Inquisitive logic ⋮ 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 ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Cofinal stable logics ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ Negative equivalence of extensions of minimal logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ The method of axiomatic rejection for the intuitionistic propositional logic ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ On maximal intermediate predicate constructive logics ⋮ Continuality of the set of maximal superintuitionistic logics with the disjunction property
Cites Work
This page was built for publication: On maximal intermediate logics with the disjunction property
