Bimbo, Katalin2015-12-130039-3215http://hdl.handle.net/1885/90380Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (→, ←), led to the introduction of dual combinators in Dunn & Meyer 1997. DuKeywords: Church-Rosser property; Combinatory logic; Dual combinators; Substructural logics; Symmetric ?-calculus20002015-12-12