The following pages link to OUP accepted manuscript (Q4644486):
Displaying 8 items.
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- A note on cut-elimination for classical propositional logic (Q2144620) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)
