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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

An application of information theory to the problem of the scientific experiment.Massimiliano Badino - 2004 - Synthese 140 (3):355 - 389.
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.
Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
Review: Jaakko Hintikka, Imre Lakatos, Induction by Enumeration and Induction by Elimination; J. R. Lucas, R. Carnap, M. B. Hesse, J. Hintikka, Discussion. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):448-449.
Hintikka Jaakko. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Lakatos Imre, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 191–216. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):448-449.
The logical problem of induction.G. H. von Wright - 1941 - 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.
Induction without probabilities.John D. Norton - 2006
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.
A material dissolution of the problem of induction.John D. Norton - 2014 - Synthese 191 (4):1-20.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Not Induction’s Problem: Aquinas on Induction, Simple Apprehension, and Their Metaphysical Suppositions.Matthew Kostelecky - 2014 - In Paolo C. Biondi & Louis F. Groarke (eds.), Shifting the Paradigm: Alternative Perspectives on Induction. Boston: De Gruyter. pp. 301-322.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,013,785)

6 months
8 (#347,798)

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