Intuitionistic Open Induction and Least Number Principle and the Buss Operator
Notre Dame Journal of Formal Logic 39 (2):212-220 (1998)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMorteza Moniri & Mojtaba Moniri (2002). Some Weak Fragments of HA and Certain Closure Properties. Journal of Symbolic Logic 67 (1):91-103.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Andreas Blass (1995). An Induction Principle and Pigeonhole Principles for K-Finite Sets. Journal of Symbolic Logic 60 (4):1186-1193.
Lev D. Beklemishev (2003). On the Induction Schema for Decidable Predicates. Journal of Symbolic Logic 68 (1):17-34.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Klaus Mainzer (1977). Is the Intuitionistic Bar-Induction a Constructive Principle? Notre Dame Journal of Formal Logic 18 (4):583-588.
R. Loss (2013). Indeterminate Actuality and the Open Future. Analysis 73 (2):248-260.
A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
Alessandro Berarducci & Margarita Otero (1996). A Recursive Nonstandard Model of Normal Open Induction. Journal of Symbolic Logic 61 (4):1228-1241.
Sarah Buss (1999). Practical Induction. Philosophical Review 108 (4):571-575.
John L. Pollock (1962). Counter-Induction. Inquiry 5 (1-4):284 – 294.
W. A. Howard & G. Kreisel (1966). Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. Journal of Symbolic Logic 31 (3):325-358.
Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
Gerard T. Ferrari (1986). The Resolution of Hume's Problem, and New Russellian Antinomies of Induction, Determinism, Relativism, and Skepticism. Philosophy Research Archives 12:471-517.
G. Aldo Antonelli (2012). A Note on Induction, Abstraction, and Dedekind-Finiteness. Notre Dame Journal of Formal Logic 53 (2):187-192.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,602 of 549,011 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
