Pages that link to "Item:Q1422452"
From MaRDI portal
The following pages link to Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes (Q1422452):
Displaying 6 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)