A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals
Authors: Bernardo Alkmim, Edward Haeusler and Cláudia Nalon
Paper Information
| Title: | A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals |
| Authors: | Bernardo Alkmim, Edward Haeusler and Cláudia Nalon |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | Natural Deduction, Description Logic, Intuitionistic Logic, iALC |
| Pages: | 1 |
| Talk: | Aug 09 15:45 (Session 104C: Abduction and Explanations) |
| Paper: |  |