The following pages link to (Q2888156):
Displayed 7 items.
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- \(l\)-hemi-implicative semilattices (Q1790597) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- Sub-Hilbert lattices (Q6161951) (← links)