An Herebrand [I.E. Herbrand] Theorem for Higher Order Logic
Oslo,Universitetet I Oslo, Matematisk Institutt (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Predicate calculus | |||||||||
| Categories | ||||||||||
| Call number | QA9.35.J46 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAlan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł∞. Studia Logica 38 (1):49-73.
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Herman Ruge Jervell (1972). An Herbrand Theorem for a Modal Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Herman Ruge Jervell (1971). Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains. [Oslo,Universitetet I Oslo, Matematisk Institutt.
Herman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
