ON THE FUNDAMENTAL THEOREM OF ULTRAPRODUCTS FOR LATTICEVALUED MODELS

【摘要】 <正> In recent years, some mathematical developments concerning many-valued logic followed the application of Boolean-valued models to axiomatic set theory, the appearance of non-Boolean logic in fuzzy mathematics, the investigation of many-valued circuits in computer science, etc. They have paved the way for theoretical research of manyvalued logic. The present work contains the results of some preliminary studies on one of the aspects of many-valued logic: many-valued model theory. We try to discuss generalizations of the main results of 2-valued model theory, and we will record them in a series of papers to be presented.更多还原