The following pages link to (Q4247298):
Displaying 5 items.
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- ON SOME INTERPRETATIONS OF CLASSICAL LOGIC (Q4295220) (← links)
- An Unexpected Feature of Classical Propositional Logic in the Tractatus (Q5115873) (← links)
- (Q5365517) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)