Pages that link to "Item:Q1080413"
From MaRDI portal
The following pages link to Matrices, primitive satisfaction and finitely based logics (Q1080413):
Displaying 22 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)
- Some theorems on structural entailment relations (Q798645) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- A note on matrices for systems of nonsense-logics (Q918962) (← 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)
- Axiomatizing logics closely related to varieties (Q1189901) (← links)
- Three-element nonfinitely axiomatizable matrices (Q1337599) (← links)
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes (Q1422452) (← links)
- Remarks on the Scott-Lindenbaum theorem (Q2259002) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- (Q4249030) (← links)
- (Q4914850) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Protoalgebraic logics (Q6364601) (← links)
