Fuzzy logic programming via multilattices (Q876496): Difference between revisions

@@ Property / cites work @@
+Partially ordered sets and the Schreier refinement theorem, II. Theory of multistructures
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
+Normal rank
@@ Property / cites work @@
+Generalizations of lattices via non-deterministic operators
+Normal rank
@@ Property / cites work @@
+Q4784882
@@ Property / cites work: Q4784882 / 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 @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic characterization of multilattices
@@ Property / cites work: An axiomatic characterization of multilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Some results involving multilattice ideals and distributivity
+Normal rank
@@ Property / cites work @@
+Fixed point theorems in logic programming
@@ Property / cites work: Fixed point theorems in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087234
@@ Property / cites work: Q4087234 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixed point theorem in partially ordered sets and some applications to matrix equations
+Normal rank
@@ Property / cites work @@
+Clausal logic and logic programming in algebraic domains
+Normal rank
@@ Property / cites work @@
+Q3435472
@@ Property / cites work: Q3435472 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank