VERY TRUE PSEUDO-BCK ALGEBRAS

VERY TRUE PSEUDO-BCK ALGEBRAS
Author: LAVINIA CORINA CIUNGU
Publisher: Infinite Study
Total Pages: 21
Release:
Genre:
ISBN:

In this paper we introduce the very true operators on pseudo-BCK algebras and we study their properties. We prove that the composition of two very true operators is a very true operator if and only if they commute.

Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery

Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery
Author: Yong Liu
Publisher: Springer Nature
Total Pages: 1009
Release: 2019-11-06
Genre: Technology & Engineering
ISBN: 3030324567

This book discusses the recent advances in natural computation, fuzzy systems and knowledge discovery. Presenting selected, peer-reviewed papers from the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), held in Kunming, China, from 20 to 22 July 2019, it is a useful resource for researchers, including professors and graduate students, as well as R&D staff in industry.

Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras
Author: Lavinia Corina Ciungu
Publisher: Springer Science & Business Media
Total Pages: 284
Release: 2013-08-23
Genre: Mathematics
ISBN: 3319015893

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects. A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebras in that algebraic structures can be developed into fuzzy logics which connect quantum mechanics, mathematical logic, probability theory, algebra and soft computing. Written in a clear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well as researchers in mathematical logic and theoretical computer science.

A Course in BE-algebras

A Course in BE-algebras
Author: Sambasiva Rao Mukkamala
Publisher: Springer
Total Pages: 452
Release: 2018-02-14
Genre: Mathematics
ISBN: 9811068380

This book presents a unified course in BE-algebras with a comprehensive introduction, general theoretical basis and several examples. It introduces the general theoretical basis of BE-algebras, adopting a credible style to offer students a conceptual understanding of the subject. BE-algebras are important tools for certain investigations in algebraic logic, because they can be considered as fragments of any propositional logic containing a logical connective implication and the constant "1", which is considered as the logical value “true”. Primarily aimed at graduate and postgraduate students of mathematics, it also helps researchers and mathematicians to build a strong foundation in applied abstract algebra. Presenting insights into some of the abstract thinking that constitutes modern abstract algebra, it provides a transition from elementary topics to advanced topics in BE-algebras. With abundant examples and exercises arranged after each section, it offers readers a comprehensive, easy-to-follow introduction to this field.

Combinatorics, Computability and Logic

Combinatorics, Computability and Logic
Author: C.S. Calude
Publisher: Springer Science & Business Media
Total Pages: 254
Release: 2012-12-06
Genre: Mathematics
ISBN: 1447107179

This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001. The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.

BCK-algebras

BCK-algebras
Author: Jie Meng
Publisher:
Total Pages: 294
Release: 1994-06-01
Genre: Algebra
ISBN: 9788972821175

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing
Author: Oscar Castillo
Publisher: Springer Science & Business Media
Total Pages: 893
Release: 2007-06-08
Genre: Computers
ISBN: 3540724338

This book comprises a selection of papers on theoretical advances and applications of fuzzy logic and soft computing from the IFSA 2007 World Congress, held in Cancun, Mexico, June 2007. These papers constitute an important contribution to the theory and applications of fuzzy logic and soft computing methodologies.

Petr Hájek on Mathematical Fuzzy Logic

Petr Hájek on Mathematical Fuzzy Logic
Author: Franco Montagna
Publisher: Springer
Total Pages: 324
Release: 2014-09-23
Genre: Mathematics
ISBN: 3319062336

This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic. Articles in the volume also focus on the treatment of vagueness, building connections between Hájek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles. Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication. The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that Hájek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call Hájek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by Hájek in the context of fuzzy logic.

Collected Papers. Volume IX

Collected Papers. Volume IX
Author: Florentin Smarandache
Publisher: Infinite Study
Total Pages: 1008
Release: 2022-05-10
Genre: Mathematics
ISBN:

This ninth volume of Collected Papers includes 87 papers comprising 982 pages on Neutrosophic Theory and its applications in Algebra, written between 2014-2022 by the author alone or in collaboration with the following 81 co-authors (alphabetically ordered) from 19 countries: E.O. Adeleke, A.A.A. Agboola, Ahmed B. Al-Nafee, Ahmed Mostafa Khalil, Akbar Rezaei, S.A. Akinleye, Ali Hassan, Mumtaz Ali, Rajab Ali Borzooei , Assia Bakali, Cenap Özel, Victor Christianto, Chunxin Bo, Rakhal Das, Bijan Davvaz, R. Dhavaseelan, B. Elavarasan, Fahad Alsharari, T. Gharibah, Hina Gulzar, Hashem Bordbar, Le Hoang Son, Emmanuel Ilojide, Tèmítópé Gbóláhàn Jaíyéolá, M. Karthika, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Huma Khan, Madad Khan, Mohsin Khan, Hee Sik Kim, Seon Jeong Kim, Valeri Kromov, R. M. Latif, Madeleine Al-Tahan, Mehmat Ali Ozturk, Minghao Hu, S. Mirvakili, Mohammad Abobala, Mohammad Hamidi, Mohammed Abdel-Sattar, Mohammed A. Al Shumrani, Mohamed Talea, Muhammad Akram, Muhammad Aslam, Muhammad Aslam Malik, Muhammad Gulistan, Muhammad Shabir, G. Muhiuddin, Memudu Olaposi Olatinwo, Osman Anis, Choonkil Park, M. Parimala, Ping Li, K. Porselvi, D. Preethi, S. Rajareega, N. Rajesh, Udhayakumar Ramalingam, Riad K. Al-Hamido, Yaser Saber, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, A.A. Salama, Ganeshsree Selvachandran, Songtao Shao, Seok-Zun Song, Tahsin Oner, M. Mohseni Takallo, Binod Chandra Tripathy, Tugce Katican, J. Vimala, Xiaohong Zhang, Xiaoyan Mao, Xiaoying Wu, Xingliang Liang, Xin Zhou, Yingcang Ma, Young Bae Jun, Juanjuan Zhang.