Pages that link to "Item:Q1080413"
From MaRDI portal
The following pages link to Matrices, primitive satisfaction and finitely based logics (Q1080413):
Displaying 14 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← 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)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Local deductions theorems (Q1090668) (← links)
- Remarks on the Scott-Lindenbaum theorem (Q2259002) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Protoalgebraic logics (Q6364601) (← links)
