A discrete representation of free MV-algebras (Q3566946): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200910036
+Normal rank
@@ Property / OpenAlex ID @@
+W2090879686
@@ Property / OpenAlex ID: W2090879686 / 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 @@
+A discrete free MV-algebra over one generator
@@ Property / cites work: A discrete free MV-algebra over one generator / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free MV-algebras and their automorphism groups
+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 @@
+A constructive proof of McNaughton's theorem in infinite-valued logic
+Normal rank
@@ Property / cites work @@
+A geometric proof of the completeness of the Łukasiewicz calculus
+Normal rank