Paraconsistent logic programming (Q1262746): Difference between revisions

@@ 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/0304-3975(89)90126-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1980589711
@@ Property / OpenAlex ID: W1980589711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3861360
@@ Property / cites work: Q3861360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727360
@@ Property / cites work: Q3727360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207887
@@ Property / cites work: Q4207887 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical analysis of the calculi \(C_n\)
@@ Property / cites work: A semantical analysis of the calculi \(C_n\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956917
@@ Property / cites work: Q3956917 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Closures and fairness in the semantics of programming logic
+Normal rank
@@ Property / cites work @@
+Canonical logic programs
@@ Property / cites work: Canonical logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727351
@@ Property / cites work: Q3727351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3747756
@@ Property / cites work: Q3747756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817650
@@ Property / cites work: Q3817650 / 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 / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Four valued semantics and the Liar
@@ Property / cites work: Four valued semantics and the Liar / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1262746