First-order logic and first-order functions

DOI10.1007/S11787-015-0126-8MaRDI QIDQ497872zbMATH OpenOpenAlexFDO

Authors Rodrigo 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)

Recommendations

• scientific article; zbMATH DE number 5863196
• On some applied first-order theories which can be represented by definitions
• The first-order syntax of variadic functions
• A first order logic for partial functions (extended abstract)
• scientific article; zbMATH DE number 3855057

Cites work

• scientific article; zbMATH DE number 3933024 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3390699 (Why is no real title available?)
• scientific article; zbMATH DE number 3390700 (Why is no real title available?)
• scientific article; zbMATH DE number 3079563 (Why is no real title available?)
• Monadic representability of certain binary relations
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

Cited in

(12)

• scientific article; zbMATH DE number 5863196 (Why is no real title available?)
• Logic prizes \textit{et cætera}
• First-order functional languages and intensional logic
• The calculus of relations as a foundation for mathematics
• scientific article; zbMATH DE number 1149407 (Why is no real title available?)
• New semantics for urn logics: taming the enduring scandal of deduction
• A notion of functional completeness for first-order structure
• scientific article; zbMATH DE number 3855057 (Why is no real title available?)
• scientific article; zbMATH DE number 1028229 (Why is no real title available?)
• On some applied first-order theories which can be represented by definitions
• Regular and First-Order List Functions
• The first-order syntax of variadic functions

This page was built for publication: First-order logic and first-order functions

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