Investigation into Combinatory Systems with Dual Combinators
Date
Authors
Bimbo, Katalin
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers
Abstract
Combinatory 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. Du
Description
Citation
Collections
Source
Studia Logica
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description