FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: