Research on "Formal Methods in Computing"

Logical Semantics for the First Order Sigma-Calculus

ABSTRACT. We investigate logical semantics of the first order Sigma-calculus. An assignment system of predicates to first order typed terms of the OB₁ 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.

• [ps.gz] , [pdf] ( © Springer-Verlag )

BIBTEX.

@conference{vanBakeldeLiguoro:ICTCS-03,
   author    = {Staffen van Bakel, Ugo {de' Liguoro}},
   title     = {{Logical Semantics for the First Order Sigma-Calculus}},
   booktitle = {{Proceedings of ICTCS'03}},
   year      = {2003},
   publisher = {Springer},
   pages     = {202-215},
   series    = {LNCS 2841}
}