The following pages link to (Q5411466):
Displaying 17 items.
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Metainferential duality (Q4994022) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Inferential constants (Q6156204) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem (Q6638237) (← links)
- Editorial introduction (Q6642818) (← links)
