Pages that link to "Item:Q1015485"
From MaRDI portal
The following pages link to Proof systems combining classical and paraconsistent negations (Q1015485):
Displaying 8 items.
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- An extended first-order Belnap-Dunn logic with classical negation (Q1679746) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- (Q3112285) (← links)