The following pages link to (Q5635429):
Displaying 6 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- A natural deduction system for discourse representation theory (Q1802396) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Reasoning with conditionals (Q2460294) (← links)
