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 11 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)
- Some properties of the -calculus (Q4583170) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- (Q5208874) (← links)
- Z property for the shuffling calculus (Q5879272) (← links)