The following pages link to (Q4187823):
Displaying 10 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Filter distributive logics (Q1066139) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Local deductions theorems (Q1090668) (← links)
- Equivalential logics. II (Q1167714) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Protoalgebraic logics (Q6364601) (← links)
