- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Herman Ruge Jervell
21 found
Order:
- Gentzen games.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (25‐28):431-439.
- Gentzen Games.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):431-439.
- Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 , pp. 201–222. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
- An Herebrand [I.E. Herbrand] Theorem for Higher Order Logic.Herman Ruge Jervell - 1971 - Oslo, Universitetet I Oslo, Matematisk Institutt.Export citation
Bookmark - An Herbrand Theorem for a Modal Logic.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.Export citation Bookmark
- A New Proof of the Classical Herbrand and Skolem Theorem.Herman Ruge Jervell - 1971 - [Oslo, Universitetet I Oslo, Matematisk Institutt.Export citation Bookmark
- Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains.Herman Ruge Jervell - 1971 - [Oslo, Universitetet I Oslo, Matematisk Institutt.Export citation Bookmark
- Herbrand and Skolem Theorems in Infinitary Languages.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.
- On Skolem and Herbrand Theorems for Intuitionistic Logic.Herman Ruge Jervell - 1972 - Oslo, Universitetet I Oslo, Matematisk Institutt.Export citation Bookmark
- Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.Export citation Bookmark
- Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
- Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 , pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
- Large Finite Sets.Herman Ruge Jervell - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (35-36):545-549.
- Computer and society.Herman Ruge Jervell & Kai A. Olsen - 1984 - Acm Sigcas Computers and Society 13 (4, 1-3):17-21.The computer is a relatively new invention in the history of man. It has found application in many sectors, and will undoubtedly influence our society. As we shall show, however, the computer is linked to a chain of development that started 10,000 years ago, when a society of hunters and gatherers changed into an agricultural society. The computer is completely dependent on this development towards a more and more formalized society.
- Thoralf Skolem Pioneer of Computational Logic.Herman Ruge Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (2):107-117.
- Recursion on Homogeneous Trees.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (19-20):295-298.
- Large Finite Sets.Herman Ruge Jervell - 1985 - Mathematical Logic Quarterly 31 (35‐36):545-549.
- Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientiae:5-20.
- Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
- Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
- Constructing Ordinals.Herman Ruge Jervell - 2006 - Philosophia Scientae:5-20.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b5888c749-7q792 N