One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to such a semantics, proofs of a suitable natural deduction calculus for ALC support a proofs-as-programs paradigm

Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G. (2007). A constructive semantics for ALC. In Proceedings of the 2007 International Workshop on Description Logics (DL2007).

A constructive semantics for ALC

FIORINO, GUIDO GIUSEPPE
2007

Abstract

One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to such a semantics, proofs of a suitable natural deduction calculus for ALC support a proofs-as-programs paradigm
poster + paper
description logics; constructive logics; natural deduction
English
International Workshop on Description Logics (DL2007)
2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007)
2007
http://CEUR-WS.org/Vol-250/
open
Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G. (2007). A constructive semantics for ALC. In Proceedings of the 2007 International Workshop on Description Logics (DL2007).
File in questo prodotto:
File Dimensione Formato  
paper_45.pdf

accesso aperto

Dimensione 197.33 kB
Formato Adobe PDF
197.33 kB Adobe PDF Visualizza/Apri

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/10281/1405
Citazioni
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
Social impact