It is shown that it is possible to regard stochastic and fuzzy logics as being derived from two different constraints on a probability logic: statistical independence (stochastic) and logical implication (fuzzy). To contrast the merits of the two logics, some published data on a fuzzylogic controller is reanalysed using stochastic logic and it is shown that no significant difference results in ...

Classifications of (α,β )-fuzzy left (right and lateral) ideals of ternary semigroups are discussed. Relations between (∈,∈ ∨q)-fuzzy left (right and lateral) ideals and (q,∈∨q)-fuzzy left (right and lateral) ideals are established. Given special sets, so called t-q-set and t-∈∨q-set, conditions for the t-q-set and t-∈∨q-set to be left (right and lateral) ideals are considered. Conditions for a...

in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...

Atanassov K. , Intuitionistic Fuzzy Sets. , VII ITKR's Section, Sofia, June 1983. Hashimoto H. , Sub-inverses of fuzzy Matrices, Fuzzy Sets and Systems, Vol. 12(1984),155-168. Murugadas P and Lalitha K. , Dual Implication Operator in Intuitionistic Fuzzy Matrices, International conference on Mathematical Modelling and its Application-2012. Sriram S and Murugadas P. , Sub-inverses of Intuit...

In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

Fuzzy Mathematical Morphology aims to extend the binary morphological operators to grey-level images. In order to define the basic morphological operations fuzzy erosion, dilation, opening and closing, we introduce a general method based upon fuzzy implication and inclusion grade operators, including as particular case, other ones existing in related literature In the definition of fuzzy erosio...

In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper p...