An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856744 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The deduction theorem for Lukasiewicz many-valued propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325691 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fragments of Many-Valued Statement Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A method of axiomatization of Lukasiewicz logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beiträge zum Metaaussagenkalkül I / rank
 
Normal rank

Latest revision as of 18:28, 18 June 2024

scientific article
Language Label Description Also known as
English
An axiomatization of the finite-valued Łukasiewicz calculus
scientific article

    Statements

    An axiomatization of the finite-valued Łukasiewicz calculus (English)
    0 references
    0 references
    1988
    0 references
    This paper presents a tidy approximation of the finite-valued Łukasiewicz logics. These are then proved to be complete with respect to their matrices through the use of Lindenbaum algebras. The formulations given are simpler than others in the literature.
    0 references
    approximation of the finite-valued Łukasiewicz logics
    0 references
    Lindenbaum algebras
    0 references

    Identifiers