Single identities for ternary Boolean algebras

DOI10.1016/0898-1221(94)00213-5zbMath0811.06013OpenAlexW2082915738MaRDI QIDQ1343391

R. Padmanabhan, William W. McCune

Publication date: 1 May 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(94)00213-5

zbMATH Keywords

single axiomsautomated reasoning program OTTERPixley polynomialternary Boolean algebra

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Software, source code, etc. for problems pertaining to ordered structures (06-04)

Related Items (5)

Automatization of ternary Boolean algebras ⋮ Using the prover ANDP to simplify orthogonality. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Simplifying von Plato's axiomatization of constructive apartness geometry ⋮ Computer Solutions of Problems in Inverse Semigroups

Uses Software

• OTTER

Cites Work

• Single axioms for groups and abelian groups with various operations
• Equational Theories with a Minority Polynomial
• Equational Theories of Algebras with Distributive Congruences
• Ternary Boolean algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Single identities for ternary Boolean algebras