The following pages link to (Q4918420):
Displayed 6 items.
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Tracking Information (Q3305434) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION (Q5099778) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- An infinity of intuitionistic connexive logics (Q6132580) (← links)