A Sequent Calculus for a Negative Free Logic

Studia Logica 96 (3):331-348 (2010)
  Copy   BIBTEX

Abstract

This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9293-z

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,774

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 Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
Herzberger’s Limit Rule with Labelled Sequent Calculus.Andreas Fjellstad - 2020 - Studia Logica 108 (4):815-855.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
On a logic of involutive quantales.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (6):579-585.
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.Norihiro Kamide - 2023 - Studia Logica 111 (6):979-1014.
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - 2022 - Studia Logica 110 (5):1255-1289.
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2021 - Studia Logica 109 (3):473-507.

Analytics

Added to PP
2010-12-08

Downloads
100 (#206,703)

6 months
19 (#145,533)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.
A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
Second-Order Modal Logic.Andrew Parisi - 2017 - Dissertation, University of Connecticut

View all 7 citations / Add more citations

References found in this work

Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
Truth and singular terms.Tyler Burge - 1974 - Noûs 8 (4):309-325.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.

View all 16 references / Add more references