Logic and meaning: The philosophical significance of the sequent calculus

Mind 97 (385):50-72 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/mind/xcvii.385.50

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

A sequent calculus formulation of type assignment with equality rules for the \ambdaβ-calculus.Jonathan P. Seldin - 1978 - Journal of Symbolic Logic 43 (4):643-649.
Quine and Slater on paraconsistency and deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
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.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.

Analytics

Added to PP
2009-01-28

Downloads
81 (#206,741)

6 months
10 (#268,644)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Kremer
University of Chicago

Citations of this work

Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.
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.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references