The following pages link to Filter distributive logics (Q1066139):
Displaying 15 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Local deductions theorems (Q1090668) (← links)
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes (Q1422452) (← links)
- On a logico-algebraic approach to AGM belief contraction theory (Q2240544) (← links)
- The many benefits of putting stack filters into disjunctive or conjunctive normal form (Q2387438) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- (Q4695944) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- Finite axiomatizability of logics of distributive lattices with negation (Q6111084) (← links)
- Protoalgebraic logics (Q6364601) (← links)
