Pages that link to "Item:Q1861541"
From MaRDI portal
The following pages link to Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541):
Displaying 7 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
