A Cut-free Sequent Calculus For The Logic Of Constant Domains With A Limited Amount Of Duplications

&
Logic Journal of the IGPL 7 (6):733-753 (1999)
  Copy   BIBTEX

Abstract

Cut-free sequent calculi for the predicate intermediate logic CD of constant domains have appeared only very recently in literature, even if this logic has been axiomiatized since the early seventies. In the present paper we propose a different cut-free sequent calculus for CD, in which a great care is devoted in avoiding duplications of formulas

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/7.6.733

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic1.Martin Wirsing & Alexander Knapp - 2023 - Logic Journal of the IGPL 31 (6):1047-1068.
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma & Fei Liang - 2018 - Studia Logica 106 (3):565-593.
A cut-free sequent calculus for relevant logic RW.M. Ili & B. Bori I. - 2014 - Logic Journal of the IGPL 22 (4):673-695.
Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Intuitionistic sequent calculi for finitely many-valued logics.E. Reznik & P. Curmin - 2001 - Logic Journal of the IGPL 9 (6):793-812.

Analytics

Added to PP
2015-02-04

Downloads
15 (#976,359)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.

Add more citations

References found in this work

Cut-free modal sequents for normal modal logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.

Add more references