The Church-Rosser property in dual combinatory logic

DOI10.2178/JSL/1045861508zbMATH Open1045.03017OpenAlexW2026765907MaRDI QIDQ4457728FDOQ4457728

Katalin Bimbó

Publication date: 25 March 2004

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

Full work available at URL: https://doi.org/10.2178/jsl/1045861508

zbMATH Keywords

confluenceChurch-Rosser propertydual combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Combinators and structurally free logic
• Title not available (Why is that?)
• Combinatory logic. Vol. II
• Tree-Manipulating Systems and Church-Rosser Theorems
• Two extensions of the structurally free logic LC
• An Abstract form of the church-rosser theorem. I
• Proof by cases in formal logic
• Investigation into combinatory systems with dual combinators

Cited In (6)

• Investigation into combinatory systems with dual combinators
• Semantics for dual and symmetric combinatory calculi
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation
• The Church Rosser theorem for strong reduction in combinatory logic
• More Church-Rosser proofs (in Isabelle/HOL)

   Recommendations

• The Church-Rosser property in symmetric combinatory logic 👍 👎
• Investigation into combinatory systems with dual combinators 👍 👎
• Combinators and structurally free logic 👍 👎
• Semantics for dual and symmetric combinatory calculi 👍 👎
• Church-Rosser theorem for a rewriting system on categorical combinators 👍 👎

This page was built for publication: The Church-Rosser property in dual combinatory logic

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