Contributions to the compositional semantics of first-order predicate logic

2015/12/19 by Kelly, Philip, van Emden, M. H.
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1512.06282

Abstract

Henkin, Monk and Tarski gave a compositional semantics for first-order predicate logic. We extend this work by including function symbols in the language and by giving the denotation of the atomic formula as a composition of the denotations of its predicate symbol and of its tuple of arguments. In addition we give the denotation of a term as a composition of the denotations of its function symbol and of its tuple of arguments.

Related

• A Denotational Semantics for First-Order Logic
• Compositional Semantics for the Procedural Interpretation of Logic
• One Quantifier Alternation in First-Order Logic with Modular Predicates
• Semantics out of context: nominal absolute denotations for first-order logic and computation
• First-order Logic: Modality and Intensionality