Pages that link to "Item:Q4194954"
From MaRDI portal
The following pages link to Assumption Classes in Natural Deduction (Q4194954):
Displaying 5 items.
- On the expressive power of schemes (Q719245) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Normalization theorems for full first order classical natural deduction (Q3981450) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)