Notes on the theory of variable binding term operators

History and Philosophy of Logic 4 (1-2):63-72 (1983)
Abstract
The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445348308837045
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,195
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
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Principia Mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Functional Operations in Frege'sbegriffsschrift.Peter M. Simons - 1988 - History and Philosophy of Logic 9 (1):35-42.
A Topological Logic of Action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.
Scopeless Quantifiers and Operators.Thomas Ede Zimmermann - 1993 - Journal of Philosophical Logic 22 (5):545 - 561.
Incremental Dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
Variable-Binders as Functors.Achille C. Varzi - 1995 - Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.
A General Theory of Abstraction Operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
Variable Binding Term Operators in $\Lambda $-Calculus.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (4):876-878.

Monthly downloads

Added to index

2010-08-10

Total downloads

18 ( #269,107 of 2,163,870 )

Recent downloads (6 months)

1 ( #348,100 of 2,163,870 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums