The following pages link to (Q4877107):
Displaying 14 items.
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Varieties of linear calculi (Q1868337) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- (Q3838766) (← links)
- (Q4575567) (← links)
- Proof normalization for resolution and paramodulation (Q5055708) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185) (← links)
- Explicit Composition and Its Application in Proofs of Normalization (Q5864201) (← links)
