Cut elimination for a logic with induction and co-induction

&
Journal of Applied Logic 10 (4):330-367 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.07.007

Other Versions

No versions found

Links

PhilArchive



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

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

Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Induction by Enumeration and Induction by Elimination.Jaakko Hintikka, Imre Lakatos, J. R. Lucas, R. Carnap, M. B. Hesse & J. Hintikka - 1975 - Journal of Symbolic Logic 40 (3):448-449.
LEt ® , LR °[^( ~ )], LK and cutfree proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
Glivenko sequent classes and constructive cut elimination in geometric logics.Giulio Fellin, Sara Negri & Eugenio Orlandelli - 2023 - Archive for Mathematical Logic 62 (5):657-688.
A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
Cut elimination for the unified logic.Jacqueline Vauzeilles - 1993 - Annals of Pure and Applied Logic 62 (1):1-16.

Analytics

Added to PP
2016-06-30

Downloads
30 (#740,724)

6 months
13 (#242,190)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.

Add more citations

References found in this work

A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Add more references