ON A NEW CLASS OF IMPLICATIONS: (g,min)-IMPLICATIONS AND SEVERAL CLASSICAL TAUTOLOGIES

2012 ◽  
Vol 20 (01) ◽  
pp. 1-20 ◽  
Author(s):  
HUA-WEN LIU
Keyword(s):  
Classical Logic ◽  
Functional Equations ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Triangular Norms ◽  
Basic Properties ◽  
New Class ◽  
Fuzzy Implications ◽  
Necessary And Sufficient

A new class of fuzzy implications, called (g, min )-implications, is introduced by means of the additive generators of continuous Archimedean t-conorms, called g-generators. Basic properties of these implications are discussed. It is shown that the (g, min )-implications are really a new class different from the known ( S , N )-, R -, QL - and Yager's f- and g-implications. Generalizations of three classical logic tautologies with implications, viz. law of importation, contraction law and distributivity over triangular norms ( t -norms) and triangular conorms ( t -conorms) are investigated. A series of necessary and sufficient conditions are proposed, under which the corresponding functional equations are satisfied.

scholarly journals On a topology between Tα and Tγα

Filomat ◽  
2019 ◽  
Vol 33 (10) ◽  
pp. 3209-3221
Author(s):  
Dimitrije Andrijevic
Keyword(s):  
Topological Space ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Closure Operators ◽  
New Class ◽  
Necessary And Sufficient

Using the topology T in a topological space (X,T), a new class of generalized open sets called ?-preopen sets, is introduced and studied. This class generates a new topology Tg which is larger than T? and smaller than T??. By means of the corresponding interior and closure operators, among other results, necessary and sufficient conditions are given for Tg to coincide with T? , T? or T??.

On the Ordering Property and Law of Importation in Fuzzy Logic

2010 ◽  
Vol 1 (3) ◽  
pp. 17-30
Author(s):  
Huiwen Deng ◽  
Huan Jiang
Keyword(s):  
Fuzzy Logic ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Fuzzy Implications ◽  
Fuzzy Implication ◽  
The Law ◽  
Necessary And Sufficient ◽  
Triple I Method

In this paper, the authors investigate the ordering property (OP), , together with the general form of the law of importation(LI), i.e., , whereis a t-norm andis a fuzzy implication for the four main classes of fuzzy implications. The authors give necessary and sufficient conditions under which both (OP) and (LI) holds for S-, R-implications and some specific families of QL-, D-implications. Following this, the paper proposes the sufficient condition under which the equivalence between CRI and triple I method for FMP can be established. Moreover, this conclusion can be viewed as a unified triple I method, a generalized form of the known results proposed by Wang and Pei.

Necessary and sufficient conditions for asymptotic decay of oscillations in delayed functional equations

1981 ◽  
Vol 91 (1-2) ◽  
pp. 135-145
Author(s):  
Lu-San Chen ◽  
Cheh-Chih Yeh
Keyword(s):  
Differential Operator ◽  
Functional Equations ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Oscillatory Solutions ◽  
Asymptotic Decay ◽  
Image Position ◽  
Necessary And Sufficient

SynopsisThis paper studies the equationwhere the differential operator Ln is defined byand a necessary and sufficient condition that all oscillatory solutions of the above equation converge to zero asymptotically is presented. The results obtained extend and improve previous ones of Kusano and Onose, and Singh, even in the usual case wherewhere N is an integer with l≦N≦n–1.

scholarly journals k-Kernel Symmetric Matrices

2009 ◽  
Vol 2009 ◽  
pp. 1-8 ◽  
Author(s):  
A. R. Meenakshi ◽  
D. Jaya Shree
Keyword(s):  
Scalar Product ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Symmetric Matrices ◽  
Fuzzy Matrix ◽  
Basic Properties ◽  
Necessary And Sufficient

In this paper we present equivalent characterizations ofk-Kernel symmetric Matrices. Necessary and sufficient conditions are determined for a matrix to bek-Kernel Symmetric. We give some basic results of kernel symmetric matrices. It is shown that k-symmetric impliesk-Kernel symmetric but the converse need not be true. We derive some basic properties ofk-Kernel symmetric fuzzy matrices. We obtain k-similar and scalar product of a fuzzy matrix.

scholarly journals A unifying approach for some nonexpansiveness conditions on modular vector spaces

2020 ◽  
Vol 25 (5) ◽  
Author(s):  
Andrea Bejenaru ◽  
Mihai Postolache
Keyword(s):  
Fixed Points ◽  
Banach Spaces ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Vector Spaces ◽  
Minimizing Sequences ◽  
Ishikawa Iteration ◽  
New Class ◽  
Condition C ◽  
Necessary And Sufficient

This paper provides a new, symmetric, nonexpansiveness condition to extend the classical Suzuki mappings. The newly introduced property is proved to be equivalent to condition (E) on Banach spaces, while it leads to an entirely new class of mappings when going to modular vector spaces; anyhow, it still provides an extension for the modular version of condition (C). In connection with the newly defined nonexpansiveness, some necessary and sufficient conditions for the existence of fixed points are stated and proved. They are based on Mann and Ishikawa iteration procedures, convenient uniform convexities and properly selected minimizing sequences.

scholarly journals An Extension of a Ger’s Result

2018 ◽  
Vol 32 (1) ◽  
pp. 263-274
Author(s):  
Dan Ştefan Marinescu ◽  
Mihai Monea
Keyword(s):  
Continuous Function ◽  
Functional Equations ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Bregman Distance ◽  
International Conference ◽  
Necessary And Sufficient

Abstract The aim of this paper is to extend a result presented by Roman Ger during the 15th International Conference on Functional Equations and Inequalities. First, we present some necessary and sufficient conditions for a continuous function to be convex. We will use these to extend Ger’s result. Finally, we make some connections with other mathematical notions, as g-convex dominated function or Bregman distance.

Positive fractional 2D continuous-discrete linear systems

2011 ◽  
Vol 59 (4) ◽  
pp. 575-579 ◽  
Author(s):  
T. Kaczorek
Keyword(s):  
Linear Systems ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
New Class ◽  
Discrete Linear Systems ◽  
Necessary And Sufficient

Positive fractional 2D continuous-discrete linear systemsA new class of positive fractional 2D continuous-discrete linear systems is introduced. The solution to the equations describing by the new class of systems is derived. Necessary and sufficient conditions for the positivity of the fractional 2D continuous-discrete linear systems are established.

scholarly journals On branchwise implicative BCI-algebras

2002 ◽  
Vol 29 (7) ◽  
pp. 417-425 ◽  
Author(s):  
Muhammad Anwar Chaudhry
Keyword(s):  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
New Class ◽  
Necessary And Sufficient

We introduce a new class of BCI-algebras, namely the class of branchwise implicative BCI-algebras. This class contains the class of implicative BCK-algebras, the class of weakly implicative BCI-algebras (Chaudhry, 1990), and the class of medial BCI-algebras. We investigate necessary and sufficient conditions for two types of BCI-algebras to be branchwise implicative BCI-algebras.

scholarly journals Boolean Zero Square (BZS) Semigroups

2021 ◽  
Vol 26 (1) ◽  
pp. 31-39
Author(s):  
Pinto G.A.
Keyword(s):  
Inverse Semigroup ◽  
Simple Semigroup ◽  
Sufficient Conditions ◽  
Zero Element ◽  
Necessary And Sufficient Conditions ◽  
Equivalence Relations ◽  
New Class ◽  
Necessary And Sufficient

We introduce a new class of semigroups, that we call BZS - Boolean Zero Square-semigroups. A semigroup S with a zero element, 0, is said to be a BZS semigroup if, for every , we have  or . We obtain some properties that describe the behaviour of the Green’s equivalence relations , ,  and . Necessary and sufficient conditions for a BZS semigroup to be a band and an inverse semigroup are obtained. A characterisation of a special type of BZS completely 0-simple semigroup is presented.

Sign in / Sign up

Export Citation Format

Share Document