The following pages link to (Q3680812):
Displaying 15 items.
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001 (Q368791) (← links)
- Natural deduction, hybrid systems and modal logics (Q659458) (← links)
- Natural deduction for non-classical logics (Q1577342) (← links)
- Natural deduction in normal modal logic (Q1813231) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- (Q3000098) (← links)
- Lambek Calculus in Natural Deduction (Q3520236) (← links)
- Natural deduction for the finite least fixed point logic with an infinitary rule (Q3644843) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- Labelled Natural Deduction for Conditional Logics of Normality (Q4545014) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- (Q4874650) (← links)
- On the Structure of Natural Deduction Derivations for “Generally” (Q5251189) (← links)
- Substructural Logics in Natural Deduction (Q5435112) (← links)
- (Q5869608) (← links)