Pages that link to "Item:Q1861541"

The following pages link to Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541):

Displaying 3 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)