Semantics for dual and symmetric combinatory calculi

Journal of Philosophical Logic 33 (2):125-153 (2004)
  Copy   BIBTEX

Abstract

We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical relational and operational - semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Limits for Paraconsistent Calculi.Walter A. Carnielli & João Marcos - 1999 - Notre Dame Journal of Formal Logic 40 (3):375-390.

Analytics

Added to PP
2009-01-28

Downloads
32 (#429,411)

6 months
3 (#439,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Katalin Bimbo
University of Alberta

Citations of this work

Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.

Add more citations

References found in this work

Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
The semantics of entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.

View all 16 references / Add more references