Single identities for ternary Boolean algebras

DOI10.1016/0898-1221(94)00213-5zbMATH Open0811.06013OpenAlexW2082915738MaRDI QIDQ1343391FDOQ1343391

Authors: R. Padmanabhan, William 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

Recommendations

• Automatization of ternary Boolean algebras
• Short single axioms for Boolean algebra
• A single axiom for Boolean algebra
• Single axioms: With and without computers
• Single identities forcing lattices to be Boolean

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational Theories of Algebras with Distributive Congruences
• Title not available (Why is that?)
• Ternary Boolean algebra
• Single axioms for groups and abelian groups with various operations
• Equational Theories with a Minority Polynomial
• Otter 2.0

Cited In (7)

• Basis reduction for cryptogroups and orthogroups
• Single axioms: With and without computers
• Using the prover ANDP to simplify orthogonality.
• Simplifying von Plato's axiomatization of constructive apartness geometry
• Short single axioms for Boolean algebra
• Automatization of ternary Boolean algebras
• Computer solutions of problems in inverse semigroups.

Uses Software

• OTTER

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

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