Pages that link to "Item:Q5396222"
From MaRDI portal
The following pages link to Inconsistency lemmas in algebraic logic (Q5396222):
Displayed 6 items.
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)