Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997): Difference between revisions

@@ Property / cites work @@
+Q4450452
@@ Property / cites work: Q4450452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in fuzzy logic
@@ Property / cites work: Interpolation in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free Vector Lattices
@@ Property / cites work: Free Vector Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Groupes et anneaux reticules
@@ Property / cites work: Groupes et anneaux reticules / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit connectives of algebraizable logics
@@ Property / cites work: Implicit connectives of algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to intuitionistic connectives
+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 @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of equilibrium and abelian lattice ordered groups
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz propositional logics
@@ Property / cites work: Super-Łukasiewicz propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137160
@@ Property / cites work: Q4137160 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent and hypersequent calculi for abelian and łukasiewicz logics
+Normal rank
@@ Property / cites work @@
+An algebraic approach to propositional fuzzy logic
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Complete theories
@@ Property / cites work: Complete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank