Abstract

We study subtyping in first-order object calculi with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalized through an assignment system. It is shown that equality in the full first-order $\varsigma$-calculus is modeled by this notion, which is included in a Morris-style contextual equivalence.

Appeared as:

@Inproceedings{Bakel-deLiguro-ICTCS'05,

Author = "S. van Bakel and U. de'Liguoro",
Title = "Logical Semantics for $\mbox{\small \bf\sf {F}{O}b}_{1<{:}\mu}$",
Booktitle = "Proceedings of Ninth Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy",
Editor = "Mario Coppo and Elena Lodi and G. Michele Pinna",
Series = "Lecture Notes in Computer Science",
Volume = "3701",
Year = "2005",
Publisher = "Springer-Verlag",
Pages = "66-80"
}