Algebraic theory of quasivarieties of heterogeneous partial algebras
From MaRDI portal
Publication:1770604
DOI10.1007/s11225-005-0153-1zbMath1077.08005OpenAlexW2015579158MaRDI QIDQ1770604
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
quasivarietystrong equationalgebraic closure operatorsCraig projectionexistence equationextended signatureheterogeneous partial algebraimplicational theoryprimitive classquasiprimitive class
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.