Pages that link to "Item:Q3801619"
From MaRDI portal
The following pages link to Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences (Q3801619):
Displaying 6 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- A calculus of lax fractions (Q326585) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Algebraic Characterizations for Universal Fragments of Logic (Q4264538) (← links)
- (Q5311045) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)