Nonstandard methods in many-valued logics

摘要

Since MV-algebras include, in an essential way, infinitisimals it was felt that a systematic study of relationships of nonstandard methods and MV-algebras was needed. In this paper we try to introduce some basic frameworks to study MV-algebras from a nonstandard point of view. Also one can see that for a complete study of MV-algebras many external objects need to be treated differently.