- 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
The Display Problem Revisited
In Michal Peliš Vit Punčochàr (ed.), The Logica Yearbook. College Publications. pp. 143-156 (2010)
Abstract
In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.Other Versions
No versions found
My notes
Similar books and articles
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
An Expressivist Strategy to Understand Logical Forms.Giacomo Turbanti - 2023 - Logic and Logical Philosophy 32 (3):511-525.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
A calculus for Belnap's logic in which each proof consists of two trees.Stefan Wintein & Reinhard Muskens - 2012 - Logique Et Analyse 220:643-656.
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
Uniqueness of Logical Connectives in a Bilateralist Setting.Sara Ayhan - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 1-16.
Analytics
Added to PP
2014-07-23
Downloads
376 (#76,575)
6 months
55 (#97,187)
2014-07-23
Downloads
376 (#76,575)
6 months
55 (#97,187)
Historical graph of downloads
References found in this work
Intensional Logic and the Metaphysics of Intentionality.Edward N. Zalta - 1988 - Cambridge, MA, USA: MIT Press.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1978 - British Journal for the Philosophy of Science 29 (2):197-201.
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-648784bb4d-mnmvz uwo