Axiomatizing the skew Boolean propositional calculus

DOI10.1007/S10817-006-9029-YzbMath1121.03015OpenAlexW2009995082MaRDI QIDQ877820

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

algebraizable logicautomated deductionHilbert-style axiomatizationproof sketches

Mathematics Subject Classification ID

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

Related Items (7)

Distributivity in skew lattices ⋮ Categorical skew lattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Residuated skew lattices ⋮ Cancellation in skew lattices ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ My journey into noncommutative lattices and their theory

Uses Software

• Prover9
• Waldmeister
• Unnamed Item

Cites Work

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

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