The following pages link to Leibniz filters revisited (Q1419384):
Displaying 7 items.
- Remarks concerning Lubotzky's filtration. (Q429561) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)