The following pages link to (Q3358704):
Displaying 8 items.
- Paraconsistency in classical logic (Q2219139) (← links)
- A sequent calculus for a logic of contingencies (Q2446684) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- Cut elimination by unthreading (Q6139240) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)