Non-commutative Algebras. Pseudo-BCK Algebras Versus M-pseudo-BCK Algebras

Non-commutative Algebras. Pseudo-BCK Algebras Versus M-pseudo-BCK Algebras PDF Author: Afrodita Iorgulescu
Publisher:
ISBN: 9781848904637
Category : Mathematics
Languages : en
Pages : 0

Get Book Here

Book Description
This monograph is devoted mainly to the author's results in her research on non-commutative algebras related to logic started on October 17, 2022, results never published. It would not be written in so little time and with so many important results and examples without the help of the computer program Prover9-Mace4, developed by William W. McCune (1953 - 2011). There exist a frame-work of non-commutative algebras of logic, having in its `center' the pseudo-BCK algebra. In this monograph, the author mainly has generalized to the non-commutative case the m-BCK algebra and its related algebras, as particular cases of unital magmas, thus creating a new frame-work of non-commutative algebras, having in its `center' the new m-pseudo-BCK algebra. The pseudo-MV algebras are particular cases of m-pseudo-BCK algebras, the groups belong to this new frame-work. But, the goal of her research was to define and study the quantum-pseudo-MV algebra, the non-commutative generalization of quantum-MV algebra. She was able to reach her goal only because she has discovered the`principle' that governs the non-commutative algebras, called `transposition' principle (`m-transposition' principle, for magmas). She has also introduced and studied other non-commutative generalizations of quantum algebras: the bounded involutive pseudo-lattices, the pseudo-De Morgan algebras and the ortho-pseudo-lattices. The book has 18 chapters, divided into three parts: Part I (centered on pseudo-BCK algebras: Chapters 1 - 7), Part II (the core of the monograph, centered on m-pseudo-BCK algebras: Chapters 8 - 16) and Part III (`bridge' theorems: Chapters 17, 18).

Non-commutative Algebras. Pseudo-BCK Algebras Versus M-pseudo-BCK Algebras

Non-commutative Algebras. Pseudo-BCK Algebras Versus M-pseudo-BCK Algebras PDF Author: Afrodita Iorgulescu
Publisher:
ISBN: 9781848904637
Category : Mathematics
Languages : en
Pages : 0

Get Book Here

Book Description
This monograph is devoted mainly to the author's results in her research on non-commutative algebras related to logic started on October 17, 2022, results never published. It would not be written in so little time and with so many important results and examples without the help of the computer program Prover9-Mace4, developed by William W. McCune (1953 - 2011). There exist a frame-work of non-commutative algebras of logic, having in its `center' the pseudo-BCK algebra. In this monograph, the author mainly has generalized to the non-commutative case the m-BCK algebra and its related algebras, as particular cases of unital magmas, thus creating a new frame-work of non-commutative algebras, having in its `center' the new m-pseudo-BCK algebra. The pseudo-MV algebras are particular cases of m-pseudo-BCK algebras, the groups belong to this new frame-work. But, the goal of her research was to define and study the quantum-pseudo-MV algebra, the non-commutative generalization of quantum-MV algebra. She was able to reach her goal only because she has discovered the`principle' that governs the non-commutative algebras, called `transposition' principle (`m-transposition' principle, for magmas). She has also introduced and studied other non-commutative generalizations of quantum algebras: the bounded involutive pseudo-lattices, the pseudo-De Morgan algebras and the ortho-pseudo-lattices. The book has 18 chapters, divided into three parts: Part I (centered on pseudo-BCK algebras: Chapters 1 - 7), Part II (the core of the monograph, centered on m-pseudo-BCK algebras: Chapters 8 - 16) and Part III (`bridge' theorems: Chapters 17, 18).

BCK Algebras Versus M-BCK Algebras. Foundations

BCK Algebras Versus M-BCK Algebras. Foundations PDF Author: Afrodita Iorgulescu
Publisher:
ISBN: 9781848904163
Category :
Languages : en
Pages : 0

Get Book Here

Book Description
This monograph gathers the author's results obtained since April 2019, which have been published in seven papers. Starting from the frame-work centered on BCK algebras, m-BCK algebras are defi ned ('m' coming from 'magma') (algebras including the MV and the Boolean algebras) and other more general algebras, thus obtaining an analogous new frame-work, centered on m-BCK algebras. 'Bridge theorems' connecting the two frameworks are obtained, in the involutive case. Incorporated within this new frame-work are the quantum structures: the bounded involutive lattices, the De Morgan algebras, the ortholattices, the quantum MV algebras, the orthomodular lattices, with important new results and many examples obtained by using the computer program Prover9/Mace4. Also included in the book are some new results, never published before, on L algebras, on quantum B algebras, pseudo-BCI/pseudo-BCK algebras and prealgebras (in the non-commutative case) and important final results on quantum structures, with many examples. This monograph has 17 chapters, divided into three parts: Part I focuses on the 'world' of BCK algebras and of pseudo-BCK algebras, Part II concentrates on the 'world' of m-BCK algebras and Part III is about 'bridge theorems' between the two 'worlds'.

VERY TRUE PSEUDO-BCK ALGEBRAS

VERY TRUE PSEUDO-BCK ALGEBRAS PDF Author: LAVINIA CORINA CIUNGU
Publisher: Infinite Study
ISBN:
Category :
Languages : en
Pages : 21

Get Book Here

Book Description
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.

Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras PDF Author: Lavinia Corina Ciungu
Publisher: Springer Science & Business Media
ISBN: 3319015893
Category : Mathematics
Languages : en
Pages : 284

Get Book Here

Book Description
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.

Smarandache pseudo-CI algebras

Smarandache pseudo-CI algebras PDF Author: L. C. Ciungu
Publisher: Infinite Study
ISBN:
Category : Mathematics
Languages : en
Pages : 18

Get Book Here

Book Description
In this paper, we define the notion of Smarandache pseudo-CI algebras and we investigate their properties. We also define and study the notions of Smarandache filters, pseudo-CI Smarandache homomorphisms and modal Smarandache operators on pseudo-CI algebras. The classes of Smarandache fantastic, implicative and positive implicative filters of Smarandache pseudo-CI algebras are defined and studied by extending some results regarding Smarandache fantastic, fresh and clean ideals in Smarandache BCI-algebras and Smarandache BCH-algebras to the case of Smarandache pseudo-CI algebras. The notion of Smarandache commutative pseudo-CI algebras is defined and a characterization theorem is given. It is proved that in the case of commutative Q-Smarandache pseudo-CI algebras the notions of Smarandache filters and fantastic filters coincide.

Commutative MBJ-neutrosophic ideals of BCK-algebras

Commutative MBJ-neutrosophic ideals of BCK-algebras PDF Author: Y.B. Jun
Publisher: Infinite Study
ISBN:
Category : Mathematics
Languages : en
Pages : 13

Get Book Here

Book Description
The notion of commutative MBJ-neutrosophic ideal is introduced, and several properties are investigated. Relations between MBJ-neutrosophic ideal and commutative MBJ-neutrosophic ideal are considered. Characterizations of commutative MBJ-neutrosophic ideal are discussed.

Commutative Generalized Neutrosophic Ideals in BCK-Algebras

Commutative Generalized Neutrosophic Ideals in BCK-Algebras PDF Author: Rajab Ali Borzooei
Publisher: Infinite Study
ISBN:
Category : Mathematics
Languages : en
Pages : 15

Get Book Here

Book Description
The concept of a commutative generalized neutrosophic ideal in a BCK-algebra is proposed, and related properties are proved. Characterizations of a commutative generalized neutrosophic ideal are considered. Also, some equivalence relations on the family of all commutative generalized neutrosophic ideals in BCK-algebras are introduced, and some properties are investigated.

Mathematical Reviews

Mathematical Reviews PDF Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 1208

Get Book Here

Book Description


Handbook of Quantum Logic and Quantum Structures

Handbook of Quantum Logic and Quantum Structures PDF Author: Kurt Engesser
Publisher: Elsevier
ISBN: 008055038X
Category : Mathematics
Languages : en
Pages : 821

Get Book Here

Book Description
Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled “The logic of quantum mechanics quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate. The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject. The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability. - Written by eminent scholars in the field of logic- A comprehensive presentation of the theory, approaches and results in the field of quantum logic- Volume focuses on quantum structures

Collected Papers. Volume IX

Collected Papers. Volume IX PDF Author: Florentin Smarandache
Publisher: Infinite Study
ISBN:
Category : Mathematics
Languages : en
Pages : 1008

Get Book Here

Book Description
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.