The following pages link to Leibniz filters revisited (Q1419384):
Displaying 6 items.
- 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)
