A completeness theorem for weak equational logic

DOI10.1007/BF01191787zbMath0519.08006MaRDI QIDQ1054760

Leszek Rudak

Publication date: 1983

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

transitivitypartial algebrasBirkhoff-like Completeness Theoremweak equations

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Partial algebras (08A55)

Related Items (9)

Mal'cev-type conditions for partial algebras ⋮ Algebraic characterization of conflict-free varieties of partial algebras ⋮ On Höft's characterization of weak model classes ⋮ Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules ⋮ Eager Equality for Rational Number Arithmetic ⋮ A system of logic for partial functions under existence-dependent kleene equality ⋮ Near-equational and equational systems of logic for partial functions. I ⋮ Unnamed Item ⋮ Strong regular varieties of partial algebras

Cites Work

• Weak and strong equations in partial algebras
• On the completion of partial algebras

This page was built for publication: A completeness theorem for weak equational logic