KALC: a constructive semantics for ALC (Q2901214): Difference between revisions

@@ Property / cites work @@
+Optimization techniques for propositional intuitionistic logic and their implementation
+Normal rank
@@ Property / cites work @@
+\(\mathcal {BCDL}\): Basic constructive description logic
+Normal rank
@@ Property / cites work @@
+An <b><i>O</i>(<i>n</i> log <i>n</i>)</b>-Space Decision Procedure for Intuitionistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Towards constructive DL for abstraction and refinement
+Normal rank
@@ Property / cites work @@
+Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank

<i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214): Difference between revisions