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

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

Latest revision as of 03:21, 14 November 2024

scientific article; zbMATH DE number 5212121
Language Label Description Also known as
English
The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
scientific article; zbMATH DE number 5212121

    Statements

    The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (English)
    0 references
    15 November 2007
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references