The following pages link to (Q4940716):
Displayed 6 items.
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Four-valued logic (Q1422105) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)