Journal of Philosophical Logic 6 (1):33 - 46 (1977)

Authors
Glen Helman
Wabash College
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00262047
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: 64,132
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

Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Normalization as a Homomorphic Image of Cut-Elimination.Garrel Pottinger - 1977 - Annals of Mathematical Logic 12 (3):323.
Reviews. [REVIEW]J. R. Chidgey - 1970 - British Journal for the Philosophy of Science 21 (4):404-405.

View all 6 references / Add more references

Citations of this work BETA

Relevant Predication 1: The Formal Theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347-381.
On Analysing Relevance Constructively.Garrel Pottinger - 1979 - Studia Logica 38 (2):171 - 185.

Add more citations

Similar books and articles

Resolution Calculus for the First Order Linear Logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Some Kinds of Modal Completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
A Calculus of Substitutions for DPL.C. Vermeulen - 2001 - Studia Logica 68 (3):357-387.
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
Modal Completeness of ILW.Dick De Jongh & Frank Veltman - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.

Analytics

Added to PP index
2009-01-28

Total views
20 ( #540,359 of 2,454,694 )

Recent downloads (6 months)
1 ( #449,768 of 2,454,694 )

How can I increase my downloads?

Downloads

My notes