论文信息 - Contributions to the compositional semantics of first-order predicate logic

Contributions to the compositional semantics of first-order predicate logic

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.

M. H. van Emden | Philip Kelly

[1] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .

[2] Patrick Suppes,et al. Axiomatic set theory , 1969 .

[3] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[4] Theo M. V. Janssen,et al. Frege, Contextuality and Compositionality , 2001, J. Log. Lang. Inf..

[5] István Németi,et al. Algebraization of quantifier logics, an introductory overview , 1991, Stud Logica.

[6] A. Grzegorczyk. An Outline of Mathematical Logic , 1974, Springer Netherlands.

[7] R. Montague. Formal philosophy; selected papers of Richard Montague , 1974 .

[8] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .

[9] Mikolás Janota,et al. Digital Object Identifier (DOI): , 2000 .

[10] Leon Lukaszewicz. Universal Grammars , 1982, Inf. Process. Lett..

[11] P. Dangerfield. Logic , 1996, Aristotle and the Stoics.

[12] Hans Hermes,et al. Introduction to mathematical logic , 1973, Universitext.

[13] David I. Beaver,et al. The Handbook of Logic and Language , 1997 .

[14] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .

[15] M. H. van Emden. Compositional Semantics for the Procedural Interpretation of Logic , 2006, ICLP.

[16] R. Hodel. An Introduction to Mathematical Logic , 1995 .

[17] Wilfrid Hodges,et al. Formal Features of Compositionality , 2001, J. Log. Lang. Inf..