Notes on the theory of variable binding term operators |
| |
| Authors: | Newton CA da Costa Chris Mortensen |
| |
| Institution: | 1. Institute of Mathematics , University of S?o Paulo , Caixa Postal 20570, S?o Paulo, Brazil , Iguatemi;2. Department of Philosophy , University of Adelaide , South Australia 5001, Adelaide, Australia , North Terrace |
| |
| 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: | |
|
|
