Pages that link to "Item:Q2236504"
From MaRDI portal
The following pages link to Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504):
Displaying 9 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- An extended first-order Belnap-Dunn logic with classical negation (Q1679746) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- (Q3745828) (← links)
- (Q5100007) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)