Variable Binding Term Operators

DOI10.1002/MALQ.19720181202MaRDI QIDQ5672866zbMATH OpenOpenAlexFDO

Authors

Publication date 1972

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19720181202

Mathematics Subject Classification ID

Classical first-order logic (03B10) General logic (03B99) Logic with extra quantifiers and operators (03C80)

Cited in

(8)

• Notes on the theory of variable binding term operators
• Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
• Are there paradoxes of the set of all sets?
• Applicable mathematics in a minimal computational theory of sets
• Intuitionistic ϵ‐ and τ‐calculi
• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Corcoran the mathematician

This page was built for publication: Variable Binding Term Operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5672866)