Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2007.06.001
@@ Property / DOI: 10.1016/j.jal.2007.06.001 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2007.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2092329913
@@ Property / OpenAlex ID: W2092329913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215613
@@ Property / cites work: Q4215613 / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+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 @@
+Phase semantics and Petri net interpretation for resource-sensitive strong negation
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367330
@@ Property / cites work: Q3367330 / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2748497
@@ Property / cites work: Q2748497 / rank @@
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+A sequent calculus for reasoning in four-valued Description Logics
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2007.06.001
@@ Property / DOI: 10.1016/J.JAL.2007.06.001 / rank @@
+Normal rank