History and Philosophy of Logic 4 (1-2):63-72 (1983)
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)|
References found in this work BETA
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
Citations of this work BETA
No citations found.
Similar books and articles
Functional Operations in Frege'sbegriffsschrift.Peter M. Simons - 1988 - History and Philosophy of Logic 9 (1):35-42.
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.
Categorial Languages and Variable-Binding Operators.Adam Nowaczyk - 1978 - Studia Logica 37 (1):27 - 39.
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.
Added to index2010-08-10
Total downloads18 ( #269,107 of 2,163,870 )
Recent downloads (6 months)1 ( #348,100 of 2,163,870 )
How can I increase my downloads?