Sciweavers

DLOG
2007

A Constructive Semantics for ALC

14 years 1 months ago
A Constructive Semantics for ALC
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-asprograms paradigm.
Loris Bozzato, Mauro Ferrari, Camillo Fiorentini,
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where DLOG
Authors Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
Comments (0)