Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

&
In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 148--160 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Admissibility of structural rules for extensions of contraction-free sequent calculi.R. Dyckhoff & S. Negri - 2001 - Logic Journal of the IGPL 9 (4):541-548.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
A cut-free sequent calculus for bi-intuitionistic logic.Rajeev Gore - manuscript
Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - unknown
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Analytic cut and interpolation for bi-intuitionistic logic.Tomasz Kowalski & Hiroakira Ono - 2017 - Review of Symbolic Logic 10 (2):259-283.
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma & Fei Liang - 2018 - Studia Logica 106 (3):565-593.

Analytics

Added to PP
2014-01-28

Downloads
126 (#148,201)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.

Add more citations

References found in this work

Sequent Systems for Lewis' Conditional Logics.Björn Lellmann & Dirk Pattinson - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 320--332.

Add more references