Publication:3805955

From MaRDI portal

Revision as of 15:38, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3805955&oldid=17379548"