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

Authors
Katalin Bimbo
University of Alberta
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
Keywords Philosophy
Categories (categorize this paper)
DOI 10.1023/B:LOGI.0000021709.73522.34
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,856
Through your library

References found in this work BETA

Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.

View all 11 references / Add more references

Citations of this work BETA

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

Similar books and articles

Domains and Lambda-Calculi.Roberto M. Amadio - 1998 - Cambridge University Press.
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 index
2009-01-28

Total views
22 ( #467,303 of 2,401,723 )

Recent downloads (6 months)
1 ( #551,964 of 2,401,723 )

How can I increase my downloads?

Downloads

My notes