A finite axiomatization of positive MV-algebras (Q2153927): Difference between revisions

@@ Property / cites work @@
+Equivalence à la Mundici for commutative lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+On the axiomatisability of the dual of compact ordered spaces
+Normal rank
@@ Property / cites work @@
+Groupes et anneaux reticules
@@ Property / cites work: Groupes et anneaux reticules / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871607
@@ Property / cites work: Q2871607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3717102
@@ Property / cites work: Q3717102 / rank @@
+Normal rank
@@ Property / cites work @@
+Produits tensoriels topologiques et espaces nucléaires
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Advanced Łukasiewicz calculus and MV-algebras
@@ Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241258
@@ Property / cites work: Q3241258 / rank @@
+Normal rank