Logic group at the University of Salerno
  • Home
  • Members of the group
  • Seminars
  • Projects
  • Guests

Representation

Preprints

Representation of MV-algebras by regular ultrapowers of [0,1]

Antonio Di Nola, Giacomo Lenzi, Luca Spada We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0, 1]. This result also implies the existence, Read more…

By Luca Spada, 16 years24/11/2009 ago
Preprints

Local algebras in the representation of MV-algebras

By A. Di Nola, I. Esposito, B. Gerla In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed.

By Luca Spada, 16 years09/11/2009 ago
Preprints

A discrete representation of free MV-algebras

by A. Di Nola, R. Grigolia and L. Spada It is proved that the n-generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the n-generated free MVn-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MVn-algebras Read more…

By Luca Spada, 16 years30/08/2009 ago
Categories
  • Conferences
  • Courses
  • Guests
  • News
  • Preprints
  • Projects
  • Seminars
  • Uncategorized
  • Workshop
  • Guests
  • Members of the group
  • Projects
  • Seminars
Hestia | Developed by ThemeIsle