- 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
Display Logic And Gaggle Theory
Reports on Mathematical Logic:133-146 (1995)
Abstract
This paper is a revised version of a talk given at the Logic and Logical Philosophy conference in Poland in September 1995. In it, I sketch the connections between Nuel Belnap's Display Logic and J. Michael Dunn's Gaggle Theory.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Gaggles, Gentzen and Galois: how to display your favourite substructural logic.R. Gore - 1998 - Logic Journal of the IGPL 6 (5):669-694.
Strong Cut-elimination In Display Logic.Heinrich Wansing - 1995 - Reports on Mathematical Logic:117-131.
Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers.Leszek Pacholski & Jerzy Tiuryn - 1995 - Springer Verlag.
Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Negation in the Context of Gaggle Theory.J. Michael Dunn & Chunlai Zhou - 2005 - Studia Logica 80 (2):235-264.
An Expressivist Strategy to Understand Logical Forms.Giacomo Turbanti - 2023 - Logic and Logical Philosophy 32 (3):511-525.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
LOGIC Greg Restall i.Greg Restall - 2003 - In John Shand (ed.), Fundamentals of Philosophy. New York: Routledge. pp. 64.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Analytics
Added to PP
2015-02-12
Downloads
1 (#1,946,081)
6 months
1 (#1,890,334)
2015-02-12
Downloads
1 (#1,946,081)
6 months
1 (#1,890,334)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
An Algebraic View of the Mares-Goldblatt Semantics.Andrew Tedder - 2024 - Journal of Philosophical Logic 53 (2):331-349.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.
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-667477cd97-9l5tj dc2