The Display Problem Revisited

In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156 (2010)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
Embedding display calculi into logical frameworks : Comparing twelf and Isabelle.Jeremy E. Dawson - unknown
On univocal connectives.Rodolfo Ertola - 2009 - Logic and Logical Philosophy 18 (1):5-13.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
Connectives stranger than tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
Comparing modal sequent systems.Greg Restall - unknown
Formalised cut admissibility for display logic.Rajeev Gore - manuscript
The consequence relation preserving logical information.Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:89-120.
Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.

Analytics

Added to PP
2014-07-23

Downloads
268 (#72,563)

6 months
33 (#100,169)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1978 - British Journal for the Philosophy of Science 29 (2):197-201.

View all 10 references / Add more references