Pages that link to "Item:Q1198828"
From MaRDI portal
The following pages link to Existential instantiation and normalization in sequent natural deduction (Q1198828):
Displayed 5 items.
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)