Axiomatizing the skew Boolean propositional calculus

DOI10.1007/S10817-006-9029-YMaRDI QIDQ877820zbMATH OpenOpenAlexFDO

Authors Robert Veroff, Matthew Spinks

Publication date 3 May 2007

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-006-9029-y

zbMATH Keywords

automated deductionalgebraizable logicHilbert-style axiomatizationproof sketches

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Algebraic logic (03G99)

Recommendations

• Solving open questions and other challenge problems using proof sketches
• scientific article; zbMATH DE number 4063061
• More proofs of an axiom of Łukasiewicz
• scientific article; zbMATH DE number 1088205
• On a Method of Axiomatization of Some Propositional Calculi

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 5041282 (Why is no real title available?)
• A shortest 2-basis for Boolean algebra in terms of the Sheffer stroke
• Algebraizable logics
• An abstract algebraic logic approach to tetravalent modal logics
• An algebraic approach to non-classical logics
• An intriguing logic with two implicational connectives
• Automated discovery of single axioms for ortholattices
• Complexity and related enhancements for automated theorem-proving programs
• Fregean logics
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• Introduction to the special issue on algebraic logic
• Metamathematics of fuzzy logic
• Principal congruences of tetravalent modal algebras
• Solving open questions and other challenge problems using proof sketches
• Using hints to increase the effectiveness of an automated reasoning program: Case studies

Cited in

(8)

• Categorical skew lattices
• Varieties of skew Boolean algebras with intersections
• Cancellation in skew lattices
• Residuated skew lattices
• Solving open questions and other challenge problems using proof sketches
• My journey into noncommutative lattices and their theory
• Distributivity in skew lattices
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

Describes a project that uses

Uses Software

• Waldmeister
• Prover9
• OTTER

This page was built for publication: Axiomatizing the skew Boolean propositional calculus

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