The following pages link to Filter distributive logics (Q1066139):
Displaying 8 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)
- Local deductions theorems (Q1090668) (← links)
- On a logico-algebraic approach to AGM belief contraction theory (Q2240544) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- Protoalgebraic logics (Q6364601) (← links)
