First-order logic and first-order functions

DOI10.1007/S11787-015-0126-8zbMATH Open1373.03010OpenAlexW218854924MaRDI QIDQ497872FDOQ497872

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

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

zbMATH Keywords

Boolean functionsdefinabilityfoundations of first-order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cites Work

• Title not available (Why is that?)
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Title not available (Why is that?)
• Monadic representability of certain binary relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

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

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)