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

A discrete representation of free MV-algebras

Published by Luca Spada on 30/08/200930/08/2009

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 and special maps between them as morphisms.

Categories: Preprints
Tags: MV-algebrasRepresentation

Categories
  • Conferences
  • Courses
  • Guests
  • News
  • Preprints
  • Projects
  • Seminars
  • Workshop

Related Posts

Preprints

An extension of Stone duality to fuzzy topologies and MV-algebras

by C. Russo In this paper we introduce the concept of MV-topology, a generalization of general topology to fuzzy subsets, and we prove a proper extension of Stone duality to, respectively, semisimple MV-algebras and a Read more…

Preprints

Semiring and semimodule issues in MV-algebras

by A. Di Nola, C. Russo In this paper we propose a new perspective on the theory of MV-algebras based on the connection between such algebras and idempotent semirings. Such a viewpoint yields, among other Read more…

Preprints

Quantale modules and their operators, with applications

by C. Russo Journal of Logic and Computation (2010), 20(4): 917-946.Advance access December 2008.doi:10.1093/logcom/exn088 The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and Read more…

  • Guests
  • Members of the group
  • Projects
  • Seminars
Hestia | Developed by ThemeIsle