Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467): Difference between revisions

@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic approach to non-determinism: applications to multilattices
+Normal rank
@@ Property / cites work @@
+On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions and canonical extensions
@@ Property / cites work: MacNeille completions and canonical extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for lattice-ordered algebras and for normal algebraizable logics
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Dual multi-adjoint concept lattices
@@ Property / cites work: Dual multi-adjoint concept lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming via multilattices
@@ Property / cites work: Fuzzy logic programming via multilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Formal concept analysis via multi-adjoint concept lattices
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736480
@@ Property / cites work: Q4736480 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+A declarative semantics for CLP with qualification and proximity
+Normal rank
@@ Property / cites work @@
+Quantitative Logic Programming Revisited
@@ Property / cites work: Quantitative Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Qualified Logic Programming with Bivalued Predicates
+Normal rank
@@ Property / cites work @@
+Dedekind-MacNeille completion of \(n\)-ordered sets
+Normal rank