Some characterizations of SBL-algebras with an involutive negation by their ideals
نویسندگان
چکیده
In the paper, we give the concept of ¬-ideals dual to that of ¬-filters by using the operation ~ in SBL¬-algebras, and also show some characterizations of ¬-ideals. The relationships between ¬-ideals and ¬filter are investigated by the notion of the set of complement elements. It is obtained that for a ¬-proper ideal I of a SBL¬-algebra L, the set I ∪N(I) is the least SBL¬-subalgebra of L containing I. Some properties of ¬-ideals are also studied via the notions of radicals of ¬-ideals, and then a concrete description of the radical of an ¬-ideal is given. 2010 AMS Classification: 06B10, 06D30
منابع مشابه
Distinguishing standard SBL-algebras with involutive negations by propositional formulas
Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t-norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented.
متن کاملOn the complexity of propositional logics with an involutive negation
Let C be the propositional calculus given by a standard SBL-algebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C is coNP-complete.
متن کاملFUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
In this paper, we introduce the notion of fuzzy obstinate ideals in MV -algebras. Some properties of fuzzy obstinateideals are given. Not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an MV -algebra A. We investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an MV -algebra. We ...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملOn some classes of expansions of ideals in $MV$-algebras
In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate and $ (tau,sigma)$-Boolean in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...
متن کامل