Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
From MaRDI portal
Publication:5658080
DOI10.1002/malq.19720180802zbMath0246.02020OpenAlexW2067706294WikidataQ114696438 ScholiaQ114696438MaRDI QIDQ5658080
Publication date: 1972
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19720180802
Related Items (13)
The undecidability of the disjunction property of propositional logics and other related problems ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ 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 ⋮ Two classes of intermediate propositional logics without disjunction property ⋮ All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete ⋮ The disjunction property of intermediate propositional logics ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ Modal companions of intermediate propositional logics ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
This page was built for publication: Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
