Algebraic theory of quasivarieties of heterogeneous partial algebras

DOI10.1007/s11225-005-0153-1zbMath1077.08005MaRDI QIDQ1770604

Peter Burmeister

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-0153-1

zbMATH Keywords

quasivariety; strong equation; algebraic closure operators; Craig projection; existence equation; extended signature; heterogeneous partial algebra; implicational theory; primitive class; quasiprimitive class

Mathematics Subject Classification ID

08C15: Quasivarieties

08A55: Partial algebras

08A68: Heterogeneous algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• HSP-type characterization of strong equational classes of partial algebras
• Strong regular varieties of partial algebras
• Mal'cev-type conditions for partial algebras
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Weak and strong equations in partial algebras
• Quasi-rings and congruences in the theory of orthomodular algebras
• Near-equational and equational systems of logic for partial functions. I
• A general existence theorem on partial algebras and its special cases
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• ORTHOMODULAR (PARTIAL) ALGEBRAS AND THEIR REPRESENTATIONS
• Free partial algebras.
• A homomorphism theorem for partial algebras
• Subdirekte Produkte und konjunkte Summen.
• A characterization theorem for weak varieties.