Boolean elements in Lukasiewicz algebras, I
نویسندگان
چکیده
منابع مشابه
Free Lukasiewicz implication algebras
Lukasiewicz implication algebras are the {→, 1}-subreducts of MV algebras. They are the algebraic counterpart of SuperLukasiewicz Implicational Logics. We give a description of free Lukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Lukasiewicz implication algebra is isomorphic to ⋃ x∈X [xθ) for a certain congruence θ over the |X|-...
متن کاملInterpretability into Lukasiewicz Algebras
In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we ...
متن کاملProbabilities on Lukasiewicz-Moisil algebras
We define a concept of probability on an n-valued Lukasiewicz-Moisil algebra and we present some basic properties. The main result is an extension theorem for continuous probabilities, which is already known for probabilities defined on Boolean algebras and MV-algebras. © 1998 Elsevier Science Inc. All rights reserved.
متن کاملBoolean Algebras with an Automorphism Group: a Framework for Lukasiewicz Logic
We introduce a framework within which reasoning according to à Lukasiewicz logic can be represented. We consider a separable Boolean algebra B endowed with a (certain type of) group G of automorphisms; the pair (B, G) will be called a Boolean ambiguity algebra. B is meant to model a system of crisp properties; G is meant to express uncertainty about these properties. We define fuzzy proposition...
متن کاملBoolean Algebras in Visser Algebras
We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko’s Theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras. Mathematics Subject Classification: P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1965
ISSN: 0386-2194
DOI: 10.3792/pja/1195522292