Pages that link to "Item:Q1679746"
From MaRDI portal
The following pages link to An extended first-order Belnap-Dunn logic with classical negation (Q1679746):
Displaying 8 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← 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)