S. van Bakel and U. de' Liguoro
Logical semantics for the first order
sigma-calculus
In ICTCS'03, volume 2841 of LNCS, pages 202-215
Springer-Verlag, October 2003
We investigate logical semantics of the first
order Sigma-calculus.
An assignment system of predicates to first order typed terms of
the OB_1 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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43