ka | en

# Authorisation

# On the GĂ¶del-MV-algebras

Author: Revaz GrigoliaCo-authors: Antonio Di Nola, Giacomo Lenzi

Keywords: MV-algebra, Goedel algebra

Annotation:

It is introduced a new algebra, the signature of which contains MV-algebra signature plus Goedel implication, called Goedel-MV-algebra (GMV -algebras). The lattice of congruences of an GMV -algebra is isomorphic to the lattice of Skolem filters (i. e. special type of MV -filters) of the MV-algebra. Any GMV-algebra is bi-Heyting algebra.

Lecture files:

Grigolia(Geo) [ka]Grigolia(Eng) [en]