Pages that link to "Item:Q1054760"
From MaRDI portal
The following pages link to A completeness theorem for weak equational logic (Q1054760):
Displaying 8 items.
- Strong regular varieties of partial algebras (Q1319050) (← links)
- Mal'cev-type conditions for partial algebras (Q1333285) (← links)
- On Höft's characterization of weak model classes (Q1902531) (← links)
- Algebraic characterization of conflict-free varieties of partial algebras (Q2366148) (← links)
- Near-equational and equational systems of logic for partial functions. I (Q3032234) (← links)
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules (Q3478389) (← links)
- A system of logic for partial functions under existence-dependent kleene equality (Q3813851) (← links)
- (Q4368829) (← links)