The following pages link to (Q5883190):
Displaying 10 items.
- A note on cut-elimination for classical propositional logic (Q2144620) (← links)
- The paradox of classical reasoning (Q2172063) (← links)
- (Q4395552) (← links)
- (Q4870572) (← links)
- (Q5365517) (← links)
- Cut elimination by unthreading (Q6139240) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)