The following pages link to (Q5411482):
Displayed 6 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)