Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
arXiv:2412.01414 · doi:10.1007/978-3-031-43513-3_8
Abstract
Term-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.
Conference Proceedings: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023