On the variety of Gödel MV-algebras
- 35 Downloads
\((A, \otimes , \oplus , *, 0, 1)\) is MV-algebra;
\((A,\vee , \wedge ,\rightharpoonup , 0, 1)\) is a Gödel algebra (i. e. Heyting algebra satisfying the identity \((x \rightharpoonup y ) \vee (y \rightharpoonup x ) =1\)).
KeywordsMV-algebra Gödel algebra Many-valued logic
Compliance with ethical standards
Conflict of interest
Authors declare that they have no conflict of interest.
This article does not contain any studies with human participants or animals performed by any of the authors.
- Esakia L (1978) Semantical analysis of bimodal (temporal) systemsGoogle Scholar
- Esakia LL (1974) Topological Kripke models. In: Doklady Akademii Nauk, vol. 214, pp. 298–301. Russian Academy of SciencesGoogle Scholar
- McKinsey JC, Tarski A (1946) On closed elements in closure algebras. Ann Math 122–162Google Scholar