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 2 items.
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)