Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.matcom.2012.06.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2080219432
@@ Property / OpenAlex ID: W2080219432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+A new axiomatization of Belnap's conditional assertion
+Normal rank
@@ Property / cites work @@
+Essential Maple 7
@@ Property / cites work: Essential Maple 7 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360106
@@ Property / cites work: Q4360106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896914
@@ Property / cites work: Q4896914 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial model for logics with a prime power number of truth values
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+The many valued and nonmonotonic turn in logic
@@ Property / cites work: The many valued and nonmonotonic turn in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661846
@@ Property / cites work: Q5661846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955416
@@ Property / cites work: Q4955416 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
+Normal rank
@@ Property / cites work @@
+A Groebner bases-based approach to backward reasoning in rule based expert systems
+Normal rank
@@ Property / cites work @@
+An algebraic approach to rule based expert systems
+Normal rank
@@ Property / cites work @@
+A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+Q3156426
@@ Property / cites work: Q3156426 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812189
@@ Property / cites work: Q5812189 / rank @@
+Normal rank