Remarks on the Church-Rosser Property

DOI10.2307/2274957MaRDI QIDQ3201045zbMATH OpenOpenAlexFDO

Authors

Publication date 1990

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274957

zbMATH Keywords

Church-Rosser Propertylambda calculusnatural deductionproof theoryreduction algebrasemi-computablestrong normalization theorem for the impredicative second-order intuitionistic propositional calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50)

Recommendations

• On the Church-Rosser property and reducibility of natural derivations
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Complexity Versus the Church‐Rosser Property and Confluence
• Church–Rosser Made Easy
• scientific article; zbMATH DE number 3896290

Cited in

(7)

• An extension of Klop's counterexample to the Church-Rosser property to -calculus with other ordered pair combinators
• Church–Rosser Made Easy
• On the Church-Rosser property and reducibility of natural derivations
• Complexity Versus the Church‐Rosser Property and Confluence
• scientific article; zbMATH DE number 5558176 (Why is no real title available?)
• scientific article; zbMATH DE number 3896290 (Why is no real title available?)
• scientific article; zbMATH DE number 512797 (Why is no real title available?)

This page was built for publication: Remarks on the Church-Rosser Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201045)