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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,685

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
The logical problem of induction.G. H. von Wright - 1957 - Westport, Conn.: Greenwood Press.
The rationality of induction.David Charles Stove - 1986 - Oxford, UK: Oxford University Press.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
Induction in aristotle's system of scientific knowledge.Dušan Galik - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (4):495-505.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,331,422)

6 months
1 (#1,016,089)

Historical graph of downloads
How can I increase my downloads?

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