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

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.21.233-255
+Normal rank
@@ Property / OpenAlex ID @@
+W2019636538
@@ Property / OpenAlex ID: W2019636538 / rank @@
+Normal rank
@@ 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