Ugo de'Liguoro, Steffen van Bakel
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.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.