The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-75939-3_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1555263082
@@ Property / OpenAlex ID: W1555263082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Further results on infinite valued predicate logic
+Normal rank
@@ Property / cites work @@
+Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
+Normal rank
@@ Property / cites work @@
+A weak completeness theorem for infinite valued first-order logic
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Concerning bricks
@@ Property / cites work: Concerning bricks / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable MV-algebras
@@ Property / cites work: Decidable and undecidable 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 @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+The writing of the MV-algebras
@@ Property / cites work: The writing of the MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON <i>n</i>‐VALUED LUKASIEWICZ LOGICS
+Normal rank
@@ Property / cites work @@
+Q3887461
@@ Property / cites work: Q3887461 / rank @@
+Normal rank
@@ Property / cites work @@
+Ulam's searching game with lies
@@ Property / cites work: Ulam's searching game with lies / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
+Normal rank
@@ Property / cites work @@
+The Lattice Theory of Post Algebras
@@ Property / cites work: The Lattice Theory of Post Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958960
@@ Property / cites work: Q3958960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XIV
@@ Property / cites work: On axiom systems of propositional calculi, XIV / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of two theories on ordered abelian groups and embedding relations
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz propositional logics
@@ Property / cites work: Super-Łukasiewicz propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863862
@@ Property / cites work: Q3863862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3895474
@@ Property / cites work: Q3895474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914982
@@ Property / cites work: Q3914982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135493
@@ Property / cites work: Q4135493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137160
@@ Property / cites work: Q4137160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682458
@@ Property / cites work: Q5682458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181342
@@ Property / cites work: Q5181342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5554943
@@ Property / cites work: Q5554943 / 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 @@
+Q5781194
@@ Property / cites work: Q5781194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551428
@@ Property / cites work: Q5551428 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Q3770539
@@ Property / cites work: Q3770539 / rank @@
+Normal rank
@@ Property / cites work @@
+Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
+Normal rank
@@ Property / cites work @@
+Q4845316
@@ Property / cites work: Q4845316 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual
+Normal rank
@@ Property / cites work @@
+Logic of infinite quantum systems
@@ Property / cites work: Logic of infinite quantum systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142018
@@ Property / cites work: Q3142018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837739
@@ Property / cites work: Q3837739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893929
@@ Property / cites work: Q3893929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968926
@@ Property / cites work: Q3968926 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Many-Valued Statement Calculi
@@ Property / cites work: Fragments of Many-Valued Statement Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Post Algebras. I. Postulates and General Theory
@@ Property / cites work: Post Algebras. I. Postulates and General Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Poet algebras and pseudo-Post algebras
@@ Property / cites work: Poet algebras and pseudo-Post algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124832
@@ Property / cites work: Q4124832 / rank @@
+Normal rank
@@ Property / cites work @@
+Das Homomorphietheorem für MV‐Algebren Endlicher Ordnung
+Normal rank
@@ Property / cites work @@
+Arithmetische Theorie derMV-Algebren endlicher Ordnung
+Normal rank
@@ Property / cites work @@
+Polyadic MV-Algebras
@@ Property / cites work: Polyadic MV-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Subsumption of the Theory of Boolean Algebras under the Theory of Rings
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / cites work @@
+W-algebras which are Boolean products of members of SR[1] and CW- algebras
+Normal rank
@@ Property / cites work @@
+Aximos and some properties of Post algebras
@@ Property / cites work: Aximos and some properties of Post algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the Loomis-Sikorski theorem
@@ Property / cites work: A generalization of the Loomis-Sikorski theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855183
@@ Property / cites work: Q3855183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338248
@@ Property / cites work: Q3338248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128567
@@ Property / cites work: Q4128567 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/Cignoli06
@@ Property / DBLP publication ID: conf/birthday/Cignoli06 / rank @@
+Normal rank