Display logic

Journal of Philosophical Logic 11 (4):375-417 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00284976

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,245

External links

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

Display Logic And Gaggle Theory.Greg Restall - 1995 - Reports on Mathematical Logic:133-146.
Strong Cut-elimination In Display Logic.Heinrich Wansing - 1995 - Reports on Mathematical Logic:117-131.
On the completeness of classical modal display logic.Rajeev Goré - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--137.
Formalised Cut Admissibility for Display Logic.Jeremy E. Dawson - unknown
Formalised cut admissibility for display logic.Rajeev Gore - manuscript
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S.Rajeev Gore - manuscript
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), The Logica Yearbook. College Publications. pp. 143-156.
Review: Nuel D. Belnap, Entailment and Relevance. [REVIEW]A. Bayart - 1969 - Journal of Symbolic Logic 34 (1):120-120.

Analytics

Added to PP
2009-01-28

Downloads
147 (#138,685)

6 months
11 (#258,720)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.
Two-dimensional adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.
Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
Carnap’s Tolerance, Meaning, and Logical Pluralism.Greg Restall - 2002 - Journal of Philosophy 99 (8):426-443.

View all 102 citations / Add more citations

References found in this work

Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.
A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.
A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.

View all 6 references / Add more references