Contributions to the compositional semantics of first-order predicate logic
Logic in Computer Science
2015-12-22 v1
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.
Keywords
Cite
@article{arxiv.1512.06282,
title = {Contributions to the compositional semantics of first-order predicate logic},
author = {Philip Kelly and M. H. van Emden},
journal= {arXiv preprint arXiv:1512.06282},
year = {2015}
}
Comments
14 pages, 1 figure