On polynomial semantics for propositional logics (Q4586158): Difference between revisions

@@ Property / cites work @@
+Q4305609
@@ Property / cites work: Q4305609 / rank @@
+Normal rank
@@ Property / cites work @@
+POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
+Normal rank
@@ Property / cites work @@
+Polynomial ring calculus for modalities
@@ Property / cites work: Polynomial ring calculus for modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic semantics for logics with a consistency operator
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Formal inconsistency and evolutionary databases
@@ Property / cites work: Formal inconsistency and evolutionary databases / rank @@
+Normal rank
@@ Property / cites work @@
+The method of polynomial ring calculus and its potentialities
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282674
@@ Property / cites work: Q4282674 / rank @@
+Normal rank