Pages that link to "Item:Q5212037"
From MaRDI portal
The following pages link to Strong Normalization for Truth Table Natural Deduction (Q5212037):
Displaying 4 items.
- Effect of the choice of connectives on the relation between classical logic and intuitionistic logic (Q2153833) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q4938597) (← links)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)