Pages that link to "Item:Q2198314"
From MaRDI portal
The following pages link to The normal and self-extensional extension of Dunn-Belnap logic (Q2198314):
Displaying 7 items.
- Selfextensional logics with a conjunction (Q865045) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- An expansion of first-order Belnap-Dunn logic (Q5172135) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)