The following pages link to (Q3322078):
Displaying 4 items.
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- On certain normalizable natural deduction formulations of some propositional intermediate logics (Q1117920) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- Towards a Canonical Classical Natural Deduction System (Q3586047) (← links)