On quasi-varieties of multiple valued logic models (Q2996230): Difference between revisions

@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming and fuzzy control
@@ Property / cites work: Fuzzy logic programming and fuzzy control / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank