We investigate logical semantics of the first order sigma-calculus. An assignment system of predicates to first order typed terms of the OB1 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.
Logical Semantics for the First Order Sigma-Calculus
DE' LIGUORO, Ugo
2003-01-01
Abstract
We investigate logical semantics of the first order sigma-calculus. An assignment system of predicates to first order typed terms of the OB1 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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2003 van Bakel dL Logical Semantics for the First Order sigma-Calculus.pdf
Accesso riservato
Descrizione: Articolo principale
Tipo di file:
PDF EDITORIALE
Dimensione
276.3 kB
Formato
Adobe PDF
|
276.3 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
