Publication:3805955

zbMath0657.68097MaRDI QIDQ3805955

Jieh Hsiang

Publication date: 1988

zbMATH Keywords

Boolean algebra; first-order logic; equational logic

Mathematics Subject Classification ID

03B10: Classical first-order logic

03B35: Mechanization of proofs and logical operations

03B30: Foundations of classical theories (including reverse mathematics)

06E20: Ring-theoretic properties of Boolean algebras

08A50: Word problems (aspects of algebraic structures)

Related Items

Invariant-driven specifications in Maude, History and basic features of the critical-pair/completion procedure