Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

DOI10.1002/malq.19720180802zbMath0246.02020OpenAlexW2067706294WikidataQ114696438 ScholiaQ114696438MaRDI QIDQ5658080

J. G. Anderson

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

Mathematics Subject Classification ID

General logic (03B99) Intermediate logics (03B55)

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