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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter M. Simons (1988). Functional Operations in Frege'sbegriffsschrift. History and Philosophy of Logic 9 (1):35-42.
Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
Thomas Ede Zimmermann (1993). Scopeless Quantifiers and Operators. Journal of Philosophical Logic 22 (5):545 - 561.
Jan van Eijck (2001). Incremental Dynamics. Journal of Logic, Language and Information 10 (3):319-351.
Adam Nowaczyk (1978). Categorial Languages and Variable-Binding Operators. Studia Logica 37 (1):27 - 39.
Neil Tennant (2004). A General Theory of Abstraction Operators. Philosophical Quarterly 54 (214):105-133.
M. W. Bunder (1979). Variable Binding Term Operators in $\Lambda $-Calculus. Notre Dame Journal of Formal Logic 20 (4):876-878.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads7 ( #134,900 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
