The Church-Rosser property in dual combinatory logic

DOI10.2178/JSL/1045861508MaRDI QIDQ4457728zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• An Abstract form of the church-rosser theorem. I
• Combinators and structurally free logic
• Combinatory logic. Vol. II
• Investigation into combinatory systems with dual combinators
• Proof by cases in formal logic
• Tree-Manipulating Systems and Church-Rosser Theorems
• Two extensions of the structurally free logic LC

Cited in

(7)

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

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)