Pages that link to "Item:Q5224496"
From MaRDI portal
The following pages link to Deriving Natural Deduction Rules from Truth Tables (Q5224496):
Displaying 4 items.
- Effect of the choice of connectives on the relation between classical logic and intuitionistic logic (Q2153833) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
