First-order logic and first-order functions

DOI10.1007/s11787-015-0126-8zbMath1373.03010OpenAlexW218854924MaRDI QIDQ497872

Rodrigo A. Freire

Publication date: 25 September 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-015-0126-8

zbMATH Keywords

Boolean functionsdefinabilityfoundations of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items

Logic prizes \textit{et cætera}, New semantics for urn logics: taming the enduring scandal of deduction

Cites Work

• Monadic representability of certain binary relations
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item