Switch to: Citations

Add references

You must login to add references.
  1. Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
    The MV-algebra S m w is obtained from the (m+1)-valued ukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MV m w generated by S m w . This yields an easy description of the free MV m w -algebras over one generator. We characterize (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A constructive proof of McNaughton's theorem in infinite-valued logic.Daniele Mundici - 1994 - Journal of Symbolic Logic 59 (2):596-602.
    We give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of Lukasiewicz. For the proof we only use Minkowski's convex body theorem and the rudiments of piecewise linear topology.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
    We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
    Aim of this paper is to provide a self-contained presentation of the natural equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
    Download  
     
    Export citation  
     
    Bookmark   8 citations