Name
Abstract | ||
|---|---|---|
Recently, there has been a growing interest in constructive reinterpretations of description logics. This has been motivated by the need to model in the DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of ALC based on the Kripke semantics for Intuitionistic Logic. Moreover we give a tableau calculus and we show that it is sound, complete and terminating. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-15675-5_7 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
kripke semantics,constructive reinterpretation,description logic,tableau calculus,constructive description logic,decidable constructive description logic,intuitionistic logic,constructive logic | Intuitionistic logic,Discrete mathematics,Kripke semantics,Computer science,Constructive,Description logic,Classical logic,Linear logic,Many-valued logic,Intermediate logic | Conference |
Volume | ISSN | ISBN |
6341 | 0302-9743 | 3-642-15674-6 |
Citations | PageRank | References |
5 | 0.56 | 9 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Loris Bozzato | 1 | 54 | 16.23 |
| Mauro Ferrari | 2 | 93 | 16.05 |
| Camillo Fiorentini | 3 | 121 | 21.00 |
| Guido Fiorino | 4 | 97 | 12.71 |