A shortest 2-basis for Boolean algebra in terms of the Sheffer stroke

DOI10.1023/A:1027322305654zbMath1042.06010MaRDI QIDQ1431337

Robert Veroff

Publication date: 27 May 2004

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

zbMATH Keywords

Boolean algebraSheffer stroke

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure theory of Boolean algebras (06E05)

Related Items (2)

Axiomatizing the skew Boolean propositional calculus ⋮ Unnamed Item

This page was built for publication: A shortest 2-basis for Boolean algebra in terms of the Sheffer stroke