Single identities for ternary Boolean algebras
type: Item
instance of: scholarly article
title: Single identities for ternary Boolean algebras
zbMATH Open document ID: 0811.06013
DOI: 10.1016/0898-1221(94)00213-5
author: R. Padmanabhan
author: William McCune
publication date: 1995-05-01T00:00:00Z
Mathematics Subject Classification ID: 06E99
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 06-04
zbMATH DE Number: 718808
zbMATH Keywords: Pixley polynomial
zbMATH Keywords: single axioms
zbMATH Keywords: ternary Boolean algebra
zbMATH Keywords: automated reasoning program OTTER
describes a project that uses: OTTER
MaRDI profile type: Publication
full work available at URL: 0898-1221(94)00213-5
OpenAlex ID: W2082915738
cites work: Ternary Boolean algebra
cites work: Q5572358
cites work: Equational Theories of Algebras with Distributive Congruences
cites work: Single axioms for groups and abelian groups with various operations
cites work: Q5581665
cites work: Equational Theories with a Minority Polynomial
cites work: Q5609363
cites work: Otter 2.0
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 718808