On the Gödel-MV-algebras

Author: Revaz Grigolia
Co-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]