The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination

&
Logic Journal of the IGPL 22 (4):585-596 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt052

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Quick cut-elimination for strictly positive cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
Cut Might Cautiously.Jaap van der Does - 1995 - Logic Journal of the IGPL 3 (2-3):191-202.
Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus.Andrzej Indrzejczak - 2017 - Bulletin of the Section of Logic 46 (1/2).
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
A Non-standard Injection Between Canonical Frames.Timothy Surendonk - 1996 - Logic Journal of the IGPL 4 (2):273-282.
Cut-free sequent calculi for logics characterized by finite linear Kripke frames.Naosuke Matsuda - 2017 - Logic Journal of the IGPL 25 (5):686-696.
Strong Cut-Elimination for Constant Domain First-Order S5.Heinrich Wansing - 1995 - Logic Journal of the IGPL 3 (5):797-810.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown

Analytics

Added to PP
2016-06-30

Downloads
24 (#925,441)

6 months
8 (#636,564)

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

Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.

Add more references