The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522): Difference between revisions

@@ Property / arXiv ID @@
+.03533
@@ Property / arXiv ID: 2001.03533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3164468
@@ Property / cites work: Q3164468 / rank @@
+Normal rank
@@ Property / cites work @@
+Birkhoff's variety theorem in many sorts
@@ Property / cites work: Birkhoff's variety theorem in many sorts / rank @@
+Normal rank
@@ Property / cites work @@
+Free abelian lattice groups
@@ Property / cites work: Free abelian lattice groups / rank @@
+Normal rank
@@ Property / cites work @@
+Groupes et anneaux reticules
@@ Property / cites work: Groupes et anneaux reticules / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / 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 @@
+Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
+Normal rank
@@ Property / cites work @@
+Q4627754
@@ Property / cites work: Q4627754 / rank @@
+Normal rank
@@ Property / cites work @@
+MV-algebras with internal states and probabilistic fuzzy logics
+Normal rank
@@ Property / cites work @@
+Q3717102
@@ Property / cites work: Q3717102 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Directed Abelian Groups, Countably Continuous Rings, and Rickart C<sup>*</sup> -Algebras
+Normal rank
@@ Property / cites work @@
+Algebras with a Scheme of Operators
@@ Property / cites work: Algebras with a Scheme of Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693118
@@ Property / cites work: Q4693118 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered group-valued probability, positive operators, and integral representations
+Normal rank
@@ Property / cites work @@
+Generalised states: a multi-sorted algebraic approach to probability
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+The dual adjunction between MV-algebras and Tychonoff spaces
+Normal rank
@@ Property / cites work @@
+Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Free products in the category of Abelian \(\ell\)-groups with strong unit
+Normal rank
@@ Property / cites work @@
+Averaging the truth-value in Łukasiewicz logic
@@ Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4549481
@@ Property / cites work: Q4549481 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Łukasiewicz calculus and MV-algebras
@@ Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank @@
+Normal rank