Inequalities in De Morgan Systems II
نویسنده
چکیده
In [2], I. B. Turksen looked at the Booleandisjunctive normal form of a term in two variables and the Boolean-conjunctive normal form of that term. He concluded that for some cases of certain families, when these forms are interpreted in a De Morgan system by replacing the meet by a t-norm and the join by the dual t-conorm, the disjunctive normal form is contained in the conjunctive normal form. We give examples where some of these inequalities fail to hold for a large class of t-norms, and also give examples where they do hold. Index TermsInequality, t-norm, Boolean normal forms
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملSemicompactness in L-topological spaces
The concepts of semicompactness, countable semicompactness, and the semi-Lindelöf property are introduced in L-topological spaces, where L is a complete de Morgan algebra. They are defined by means of semiopen L-sets and their inequalities. They do not rely on the structure of basis lattice L and no distributivity in L is required. They can also be characterized by semiclosed L-sets and their i...
متن کاملFractional Hermite-Hadamard type inequalities for n-times log-convex functions
In this paper, we establish some Hermite-Hadamard type inequalities for function whose n-th derivatives are logarithmically convex by using Riemann-Liouville integral operator.
متن کاملCOUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کامل