Switch to: Citations

Add references

You must login to add references.
  1. Polyadic MV-Algebras.Dietrich Schwartz - 1980 - Mathematical Logic Quarterly 26 (36):561-564.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • 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  
  • Further results on infinite valued predicate logic.L. P. Belluce - 1964 - Journal of Symbolic Logic 29 (2):69-78.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A weak completeness theorem for infinite valued first-order logic.L. P. Belluce & C. C. Chang - 1963 - Journal of Symbolic Logic 28 (1):43-50.
    Download  
     
    Export citation  
     
    Bookmark   9 citations