Abstract
AbstractTerm-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they are very useful in practice their theory is not well developed. In the paper we provide a proof-theoretic formulation of the general approach to tfos provided independently by several authors like Scott, Hatcher, Corcoran, and compare it with an approach proposed later by Tennant. Eventually it is shown how the general theory can be applied to specific areas like Quine’s set theory NF.
Publisher
Springer Nature Switzerland
Reference37 articles.
1. Corcoran, J., Herring, J.: Notes on a semantical analysis of variable-binding term operators. Logique et Anal. (N.S.) 55, 644–657 (1971)
2. Corcoran, J., Hatcher, W.R., Herring, J.: Variable-binding term operators, Zeitschr. f. math. Logik u. Grund. d. Math. 18, 177–182 (1972)
3. Da Costa, N.C.A.: Review of Corcoran, Hatcher and Herring 1972. Zentralblatt f. Math. 257, 8–9 (1973)
4. Da Costa, N.C.A.: A model-theoretical approach to variable-binding term operators. In: Mathematical Logic in Latin America, pp. 133–162, North-Holland (1980)
5. Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Synthese Library, vol. 277, Springer, Dordrecht (1998). https://doi.org/10.1007/978-94-011-5292-1