Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

DOI10.1002/MALQ.19720180802MaRDI QIDQ5658080zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cited in

(13)

• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• The undecidability of the disjunction property of propositional logics and other related problems
• Two classes of intermediate propositional logics without disjunction property
• The disjunction property of intermediate propositional 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
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• Counting the maximal intermediate constructive logics
• European Summer Meeting of the Association for Symbolic Logic
• Modal companions of intermediate propositional logics
• All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete.
• An infinite class of maximal intermediate propositional logics with the disjunction property
• Canonical formulas for K4. Part III: the finite model property

This page was built for publication: Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5658080)