Q5146272 (Q5146272): Difference between revisions

@@ Property / cites work @@
+Further results on infinite valued predicate logic
+Normal rank
@@ Property / cites work @@
+A weak completeness theorem for infinite valued first-order logic
+Normal rank
@@ Property / cites work @@
+Representations of monadic MV-algebras
@@ Property / cites work: Representations of monadic MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Stone duality to multisets and locally finite MV-algebras.
+Normal rank
@@ Property / cites work @@
+Finitely generated free MV-algebras and their automorphism groups
+Normal rank
@@ Property / cites work @@
+Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
+Normal rank
@@ Property / cites work @@
+On monadic MV-algebras
@@ Property / cites work: On monadic MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461708
@@ Property / cites work: Q4461708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221407
@@ Property / cites work: Q4221407 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
+Normal rank
@@ Property / cites work @@
+Theorie der polyadischenMV-Algebren endlicher Ordnung
+Normal rank