Super-\L ukasiewicz logics expanded by Δ\Delta

Baaz's operator $\Delta$ was introduced (by Baaz) in order to extend G\"odel logics, after that this operator was used to expand fuzzy logics by H\'ajek in his celebrated book. These logics were called $\Delta$-fuzzy logics. On the other hand, possibility operators were studied in the setting of \L ukasiewicz-Moisil algebras; curiously, one of these operators coincide with the Baaz's one. In this paper, we study the $\Delta$ operator in the context of ($n$-valued) Super-\L ukasiewicz logics. An algebraic study of these logics is presented and the cardinality of Lindembaun-Tarski algebra with a finite number of variables is given. Finally, as a by-product, we present an alternative axiomatization of H\'ajek's \L ukasiwicz logic expanded with $\Delta$

Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems

A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience. Quantum Automata (QAs) were defined in our previous work as generalized, probabilistic automata with quantum state spaces (Baianu, 1971). Their next-state functions operate through transitions between quantum states defined by the quantum equations of motion in the Schroedinger representation, with both initial and boundary conditions in space-time. Such quantum automata operate with a quantum logic, or Q-logic, significantly different from either Boolean or Łukasiewicz many-valued logic. A new theorem is proposed which states that the category of quantum automata and automata--homomorphisms has both limits and colimits. Therefore, both categories of quantum automata and classical automata (sequential machines) are bicomplete. A second new theorem establishes that the standard automata category is a subcategory of the quantum automata category. The quantum automata category has a faithful representation in the category of Generalized (M,R)--Systems which are open, dynamic biosystem networks with defined biological relations that represent physiological functions of primordial organisms, single cells and higher organisms

Expanding FLew with a Boolean connective

We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove that the corresponding expansion of the class of residuated lattices is an equational class.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201

Paraconsistency properties in degree-preserving fuzzy logics

Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inconsistency. We also consider their expansions with additional negation connectives and first-order formalisms and study their paraconsistency properties. Finally, we compare our approach to other paraconsistent logics in the literature. © 2014, Springer-Verlag Berlin Heidelberg.All the authors have been partially supported by the FP7 PIRSES-GA-2009-247584 project MaToMUVI. Besides, Ertola was supported by FAPESP LOGCONS Project, Esteva and Godo were supported by the Spanish project TIN2012-39348-C02-01, Flaminio was supported by the Italian project FIRB 2010 (RBFR10DGUA_02) and Noguera was suported by the grant P202/10/1826 of the Czech Science Foundation.Peer reviewe

Defining rough sets as core-support pairs of three-valued functions

We answer the question what properties a collection $\mathcal{F}$ of three-valued functions on a set $U$ must fulfill so that there exists a quasiorder $\leq$ on $U$ such that the rough sets determined by $\leq$ coincide with the core--support pairs of the functions in $\mathcal{F}$. Applying this characterization, we give a new representation of rough sets determined by equivalences in terms of three-valued {\L}ukasiewicz algebras of three-valued functions.Comment: This version is accepted for publication in Approximate Reasoning (May 2021

Zadeh's Centenary

This is the introductory paper in a special issue on fuzzy logic dedicated to the centenary of the birth of Lotfi A. Zadeh published by International Journal of Computers Communications & Control (IJCCC). In 1965, Lotfi A. Zadeh published in the journal „Information and Control” the article titled „Fuzzy sets”, which today reaches over 117 thousand citations. The total sum of citations for all his papers is above 253 thousand. Based on the notion of fuzzy sets, fuzzy logic and the concept of soft computing emerged, bringing extremely important implications to the field of Artificial Intelligence (AI). In 2017, I published, whith F.G. Filip and M.J. Manolescu, a 42-page long paper in the IJCCC about the life and masterwork of Lotfi A. Zadeh, from which I will use some information in this material [15]