Axiomatizing the skew Boolean propositional calculus
type: Item
instance of: scholarly article
title: Axiomatizing the skew Boolean propositional calculus
zbMATH Open document ID: 1121.03015
author: Robert Veroff
author: Matthew Spinks
published in: Journal of Automated Reasoning
publication date: 2007-05-03T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03G99
zbMATH DE Number: 5149168
zbMATH Keywords: algebraizable logic
zbMATH Keywords: Hilbert-style axiomatization
zbMATH Keywords: automated deduction
zbMATH Keywords: proof sketches
describes a project that uses: Waldmeister
describes a project that uses: OTTER
describes a project that uses: Prover9
MaRDI profile type: Publication
full work available at URL: s10817-006-9029-y
OpenAlex ID: W2009995082
cites work: Q4893133
cites work: Algebraizable logics
cites work: Introduction to the special issue on algebraic logic
cites work: Q3934450
cites work: Fregean logics
cites work: An abstract algebraic logic approach to tetravalent modal logics
cites work: Metamathematics of fuzzy logic
cites work: An intriguing logic with two implicational connectives
cites work: Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
cites work: Principal congruences of tetravalent modal algebras
cites work: Complexity and related enhancements for automated theorem-proving programs
cites work: Automated discovery of single axioms for ortholattices
cites work: An algebraic approach to non-classical logics
cites work: Using hints to increase the effectiveness of an automated reasoning program: Case studies
cites work: Solving open questions and other challenge problems using proof sketches
cites work: A shortest 2-basis for Boolean algebra in terms of the Sheffer stroke
cites work: Q5476402
DOI: 10.1007/S10817-006-9029-Y
description: scientific article; zbMATH DE number 5149168