Remarks on the Church-Rosser Property

DOI10.2307/2274957zbMATH Open0715.03025OpenAlexW1971586424MaRDI QIDQ3201045FDOQ3201045

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

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

zbMATH Keywords

proof theorynatural deductionlambda calculusreduction algebraChurch-Rosser Propertysemi-computablestrong normalization theorem for the impredicative second-order intuitionistic propositional calculus

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• On the Church-Rosser property and reducibility of natural derivations
• Complexity Versus the Church‐Rosser Property and Confluence
• Church–Rosser Made Easy
• Title not available (Why is that?)
• Title not available (Why is that?)
• An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators

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)