Abstract

We investigate logical semantics of the first order $\varsigma$-calculus. An assignment system of predicates to first order typed terms of the $\OBone$ calculus is introduced. We define retraction models for that calculus and an interpretation of terms, types and predicates into such models. The assignment system is then proved to be sound and complete w.r.t. retraction models.

Appeared as:

@Inproceedings{Bakel-deLiguro-ICTCS'03,

Author = "S. van Bakel and U. de'Liguoro",
Title = "Logical Semantics for the First Order Sigma Calculus",
Booktitle = "Proceedings of Eighth Italian Conference on Theoretical Computer Science (ICTCS'03), Bertinoro, Italy",
Series = "Lecture Notes in Computer Science",
Volume = "2841",
Publisher = "Springer-Verlag",
Year = "2003",
Pages = "202-215"
}