Computing Publications

Publications Home » Logical Semantics for the First O...

Logical Semantics for the First Order Sigma Calculus

Ugo de'Liguoro, Steffen van Bakel

Conference or Workshop Paper
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003
October, 2003
Lecture Notes in Computer Science
Volume 2841
pp.202–215
Springer
DOI 10.1007/b13810
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.

PDF of full publication (125 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.