Review: Wolfgang Burr, Fragments of Heyting Arithmetic
Bulletin of Symbolic Logic 8 (4):533-534 (2002)
| 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,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesWolfgang Burr (2000). Fragments of Heyting Arithmetic. Journal of Symbolic Logic 65 (3):1223-1240.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. II. Studia Logica 65 (2):155-179.
M. D. G. Swaen (1991). The Logic of First Order Intuitionistic Type Theory with Weak Sigma- Elimination. Journal of Symbolic Logic 56 (2):467-483.
Justus Diller (2008). Functional Interpretations of Constructive Set Theory in All Finite Types. Dialectica 62 (2):149–177.
Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
Albert Visser (2006). Predicate Logics of Constructive Arithmetical Theories. Journal of Symbolic Logic 71 (4):1311 - 1326.
Domenico Zambella (1996). Notes on Polynomially Bounded Arithmetic. Journal of Symbolic Logic 61 (3):942-966.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Valeria Castaño & Marcela Muñoz Santis (2011). Subalgebras of Heyting and De Morgan Heyting Algebras. Studia Logica 98 (1-2):123-139.
Ieke Moerdijk & Erik Palmgren (1997). Minimal Models of Heyting Arithmetic. Journal of Symbolic Logic 62 (4):1448-1460.
Brian A. Davey & John C. Galati (2003). A Coalgebraic View of Heyting Duality. Studia Logica 75 (3):259 - 270.
Miriam Franchella (1995). Like a Bee on a Windowpane: Heyting's Reflections on Solipsism. Synthese 105 (2):207 - 251.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Albert Visser (2006). Propositional Logics of Closed and Open Substitutions Over Heyting's Arithmetic. Notre Dame Journal of Formal Logic 47 (3):299-309.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-30Total downloads1 ( #274,921 of 549,113 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
