We prove that every implicative aBE algebra satisfies the transitivity property. This means is a Tarski algebra, and thus also commutative BCK algebra.

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

In this work, we show that single input single output (SISO) fuzzy inference systems based on Fuzzy Relational Inference (FRI) with implicative interpretation of the rule base are universal approximators under suitable choice of operations for the other components of the fuzzy system. The presented proofs make no assumption on the form or representations of the considered fuzzy implications and...

This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We ident...

Errors in implicative theories coming from binary data are studied. First, two classes of errors that may affect implicative theories are singled out. Two approaches for finding errors of these classes are proposed, both of them based on methods of Formal Concept Analysis. The first approach uses the cardinality minimal (canonical or DuquenneGuigues) implication base. The construction of such a...