Pages that link to "Item:Q1938393"
From MaRDI portal
The following pages link to Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393):
Displaying 6 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)
- Monotonic modal logics with a conjunction (Q2238141) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
