Pages that link to "Item:Q5308097"
From MaRDI portal
The following pages link to Natural deduction via graphs: formal definition and computation rules (Q5308097):
Displaying 5 items.
- On graph calculi for multi-modal logics (Q530865) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Deduction Graphs with Universal Quantification (Q2870317) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
