Contributions to the compositional semantics of first-order predicate logic

Autor:	Kelly, Philip, van Emden, M. H.
Rok vydání:	2015
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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. Comment: 14 pages, 1 figure
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1512.06282 Zobrazit plný text záznamu View this record from Arxiv