Pages that link to "Item:Q1686333"
From MaRDI portal
The following pages link to Relative congruence formulas and decompositions in quasivarieties (Q1686333):
Displaying 10 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Relative principal congruences in congruence-modular quasivarieties (Q1966138) (← 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 algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences (Q6562371) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)