Title of article
Single identities for ternary Boolean algebras
Author/Authors
R. Padmanabhan، نويسنده , , R. W. McCune، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
4
From page
13
To page
16
Abstract
We present the first known single axioms for ternary Boolean algebra. The first single axiom was found algebraically by a previous technique of Padmanabhan and Quackenbush; then simpler single axioms were found by using the automated reasoning program .
Keywords
Boolean algebra , Otter , Pixley polynomial , Single axioms , Ternary Boolean algebra , automated deduction
Journal title
Computers and Mathematics with Applications
Serial Year
1995
Journal title
Computers and Mathematics with Applications
Record number
917486
Link To Document