Journal of Applied Logic 10 (4):330-367 (2012)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.jal.2012.07.007 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,259
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- citeseerx.ist.psu.edu (no proxy)
- hdl.handle.net (no proxy)
- linkinghub.elsevier.com (no proxy)
- air.unimi.it (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Fresh Logic: Proof-Theory and Semantics for FM and Nominal Techniques.Murdoch J. Gabbay - 2007 - Journal of Applied Logic 5 (2):356-387.
Citations of this work BETA
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal 14 (14):1-37.
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.
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.
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.
Not Induction’s Problem: Aquinas on Induction, Simple Apprehension, and Their Metaphysical Suppositions.Matthew Kostelecky - 2014 - In Louis F. Groarke & Paolo C. Biondi (eds.), Shifting the Paradigm: Alternative Perspectives on Induction. De Gruyter. pp. 301-322.
Analytics
Added to PP index
2016-06-30
Total views
5 ( #1,207,471 of 2,518,693 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,693 )
2016-06-30
Total views
5 ( #1,207,471 of 2,518,693 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,693 )
How can I increase my downloads?
Downloads
