A logic for reasoning with inconsistency (Q688558): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3768366
@@ Property / cites work: Q3768366 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic programming
@@ Property / cites work: Paraconsistent logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+An Equational Axiomatization for the Disjoint System of Post Algebras
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Destructive Modal Resolution
@@ Property / cites work: Destructive Modal Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798294
@@ Property / cites work: Q3798294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039734
@@ Property / cites work: Q4039734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about truth
@@ Property / cites work: Reasoning about truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731564
@@ Property / cites work: Q3731564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5202173
@@ Property / cites work: Q5202173 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00245460
+Normal rank
@@ Property / OpenAlex ID @@
+W3015761148
@@ Property / OpenAlex ID: W3015761148 / rank @@
+Normal rank