Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.4288/jafpos.27.0_45
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,795
External links

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

References found in this work BETA

Subrecursion: Functions and Hierarchies.H. E. Rose - 1984 - Oxford University Press.
Hauptsatz for Higher Order Logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.
Syntactical and Semantical Properties of Simple Type Theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.
A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
Linguistic Applications of First Order Intuitionistic Linear Logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
Ein Rechenverfahren Für Die Elementare Logik.Klaus J. Schmidt - 1981 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 12 (1):110-115.
A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.

Analytics

Added to PP index
2018-11-01

Total views
8 ( #963,347 of 2,438,793 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,793 )

How can I increase my downloads?

Downloads

My notes