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.
2003
ICTCS'03
Bertinoro
13 - 15 Ottobre 2003
Theoretical Computer Science
Springer
2841
202
215
978-3-540-45208-9
Steffen van Bakel ; Ugo de' Liguoro
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/46814
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact