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

Logic group at the University of Salerno

Preprints

Priestley duality and quotient lattices of many-valued algebras

by R. Cignoli, A. Di Nola A. Lettieri It is shown that the construction and the properties of the functor β from the category of MV-algebras to the category of bounded residuated lattices has a natural interpretation in the contest Read more…

By Gaetano Vitale, 13 years18/01/2010 ago
Preprints

The Prime Spectrum of an MV-Algebra

In this paper it is shown that the prime ideal space of an MV-algebra is the disjoint union of prime ideal spaces of suitable local MV-algebras. Some special classes of algebras are defined and their spaces are investigated. The space Read more…

By Gaetano Vitale, 13 years18/01/2010 ago
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 Read more…

By Gaetano Vitale, 13 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 Read more…

By Gaetano Vitale, 13 years09/11/2009 ago
Preprints

Abelian l-groups with strong unit and perfect MV-algebras

By L.P. Belluce, A. Di Nola, B. Gerla We investigate the class of abelian l-groups with strong unit corresponding to perfect MV-algebras via the Gamma functor, showing that this is a universal subclass of the class of all abelian l-groups Read more…

By Gaetano Vitale, 13 years09/11/2009 ago
Seminars

Seminar by Prof. A. Dvurecenskij

Prof. Anatoliy Dvurecenskij will give a seminar on “States on MV-algebras” on Thursday 22 october 2009. The seminar will take place at 4.00 pm, in Sala Riunioni of the Department of Mathematics and Computer Science.

By Gaetano Vitale, 13 years16/10/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 Read more…

By Gaetano Vitale, 13 years30/08/2009 ago
Preprints

Embeddings of totally ordered MV-algebras of bounded cardinality

by Piotr Wojciechoski For a given cardinal number a, we construct a totally ordered MV-algebra M(a) having the property that every totally-ordered MV-algebra of cardinality at most a embeds into M(a). In case a = ℵ0 , the algebra M(a) Read more…

By Gaetano Vitale, 13 years27/08/2009 ago
Seminars

Enrico Marchioni’s seminar on Thursday 18 June

“MV algebras from the point of view of o-minimality” Abstract: O-minimality is a model-theoretic concept for ordered structures that amountsto requiring definable sets over the domain to be a finite union of singletons and open intervals.In this very informal talk, Read more…

By Gaetano Vitale, 14 years13/06/2009 ago
Guests

Dr. Flaminio and Dr. Marchioni at Unisa

Tommaso Flaminio of the Univeristy of Siena and Enrico Marchioni of the IIIA of Barcelona will be visiting our group during next week (15-18/06/09). News on seminars will follow soon.

By Gaetano Vitale, 14 years11/06/2009 ago

Posts navigation

Previous 1 … 6 7
Categories
  • Conferences
  • Courses
  • Guests
  • News
  • Preprints
  • Projects
  • Seminars
  • Workshop
  • Guests
  • Members of the group
  • Projects
  • Seminars
Hestia | Developed by ThemeIsle