- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Gaggles, Gentzen and Galois: how to display your favourite substructural logic
Logic Journal of the IGPL 6 (5):669-694 (1998)
Abstract
We show how to obtain cut-free Display Calculi for algebraic logics characterised by the Gaggle Theory of Dunn. These Display Calculi automatically inherit the Kripke-style relational semantics associated with gaggles thereby completing a unified, proof-theoretic, algebraic and model-theoretic picture for these logicsAuthor's Profile
My notes
Similar books and articles
Gaggles, Gentzen and Galois: Cut-free display calculi for algebraizable logics.R. Goré - 1998 - Logic Journal of the IGPL 6 (5):669-694.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Cut elimination and strong separation for substructural logics: an algebraic approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156.
Analytics
Added to PP
2015-02-04
Downloads
25 (#598,332)
6 months
3 (#902,269)
2015-02-04
Downloads
25 (#598,332)
6 months
3 (#902,269)
Historical graph of downloads
Author's Profile
Citations of this work
Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.
3.1 Two Equally Valid Views of the Syntax–Semantics Interface.Chris Barker - 2007 - In Chris Barker & Pauline I. Jacobson (eds.), Direct Compositionality. Oxford University Press. pp. 14--102.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo