Pages that link to "Item:Q1015485"

The following pages link to Proof systems combining classical and paraconsistent negations (Q1015485):

Displaying 4 items.

• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
• Modal multilattice logic (Q1682294) (← links)
• A hierarchy of weak double negations (Q2016059) (← links)
• Taming Paraconsistent (and Other) Logics (Q2946751) (← links)