Residuated EQ-algebras may not be residuated lattices (Q2041255): Difference between revisions

@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Representable good EQ-algebras
@@ Property / cites work: Representable good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On good EQ-algebras
@@ Property / cites work: On good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218120
@@ Property / cites work: Q3218120 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative and positive implicative prefilters of EQ-algebras
+Normal rank
@@ Property / cites work @@
+The lattice of prefilters of an EQ-algebra
@@ Property / cites work: The lattice of prefilters of an EQ-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
+Normal rank
@@ Property / cites work @@
+Mathematics behind fuzzy logic
@@ Property / cites work: Mathematics behind fuzzy logic / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128115571
@@ Property / Wikidata QID: Q128115571 / rank @@
+Normal rank