Pages that link to "Item:Q2259009"
From MaRDI portal
The following pages link to Normal proofs, cut free derivations and structural rules (Q2259009):
Displaying 7 items.
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Reasoning continuously: a formal construction of continuous proofs (Q2027208) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
