Robbins algebra: Conditions that make a near-boolean algebra boolean

• 1 December 1990
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 6  (4)
• https://doi.org/10.1007/bf00244359

Abstract

Keywords

• UNIVERSAL ALGEBRA
• AUTOMATED REASONING
• AUTOMATED THEOREM PROVING
• BOOLEAN ALGEBRA
• ROBBINS ALGEBRA