The decidability of certain intermediate propositional logics
From MaRDI portal
Publication:5565105
DOI10.2307/2269871zbMath0175.27103MaRDI QIDQ5565105
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269871
Related Items
The undecidability of the disjunction property of propositional logics and other related problems, Canonical formulas for K4. Part II: Cofinal subframe logics, The projective Beth property in well-composed logics, Admissible rules in the implication-negation fragment of intuitionistic logic, Syntax and semantics of superintuitionistic logics, Semiconic idempotent residuated structures, Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Disjunctive property of superintuitionist and modal logics, Finite axiomatization for some intermediate logics, Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas, Splitting algebras and a weak notion of projectivity, Equational axioms for classes of Heyting algebras, Some results concerning finite model separability of propositional calculi, Separability of normalizable superintuitionistic propositional logics, Properties of superintuitionistic propositional calculi, On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes, The decidability of Craig's interpolation property in well-composed J-logics, Characteristic inference rules, An algebraic approach to subframe logics. Intuitionistic case, Characteristic formulas of partial Heyting algebras, Kripke models and intermediate logics, Axiomatization of models for intermediate logics constructed with Boolean models by piling up, Residuated Structures, Concentric Sums and Finiteness Conditions, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE, Canonical formulas for K4. Part I: Basic results
Cites Work
