Pages that link to "Item:Q2418013"
From MaRDI portal
The following pages link to Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013):
Displayed 3 items.
- 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)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)