Authors
Katalin Bimbo
University of Alberta
Abstract
A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the logic of entailment that includes a De Morgan negation
Keywords entailment   relevance logics   gaggle theory   topological duality theory   sequent calculus   cut-free proofs
Categories (categorize this paper)
DOI 10.1215/00294527-2008-025
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
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
Symmetric Generalized Galois Logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.

Add more citations

Similar books and articles

Semantics for Dual and Symmetric Combinatory Calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
The Church-Rosser Property in Dual Combinatory Logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Commentary on Frank Jackson’s From Metaphysics to Ethics.Katalin Balog - 2001 - Philosophy and Phenomenological Research 62 (3):645–652.
Game Theoretical Semantics and Entailment.D. E. Over - 1981 - Studia Logica 40 (1):67 - 74.
Gts and Interrogative Tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.
Kripke Models for Linear Logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.

Analytics

Added to PP index
2010-09-13

Total views
12 ( #749,570 of 2,401,764 )

Recent downloads (6 months)
4 ( #198,131 of 2,401,764 )

How can I increase my downloads?

Downloads

My notes