BCK Algebras Versus M-BCK Algebras. Foundations

BCK Algebras Versus M-BCK Algebras. Foundations
Author :
Publisher :
Total Pages : 0
Release :
ISBN-10 : 1848904169
ISBN-13 : 9781848904163
Rating : 4/5 (69 Downloads)

Book Synopsis BCK Algebras Versus M-BCK Algebras. Foundations by : Afrodita Iorgulescu

Download or read book BCK Algebras Versus M-BCK Algebras. Foundations written by Afrodita Iorgulescu and published by . This book was released on 2022-10-31 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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'.


BCK Algebras Versus M-BCK Algebras. Foundations Related Books

BCK Algebras Versus M-BCK Algebras. Foundations
Language: en
Pages: 0
Authors: Afrodita Iorgulescu
Categories:
Type: BOOK - Published: 2022-10-31 - Publisher:

DOWNLOAD EBOOK

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 a
Non-commutative Algebras. Pseudo-BCK Algebras Versus M-pseudo-BCK Algebras
Language: en
Pages: 0
Authors: Afrodita Iorgulescu
Categories: Mathematics
Type: BOOK - Published: 2024-07-25 - Publisher:

DOWNLOAD EBOOK

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
Algebraic Foundations of Many-Valued Reasoning
Language: en
Pages: 238
Authors: R.L. Cignoli
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and t
VERY TRUE PSEUDO-BCK ALGEBRAS
Language: en
Pages: 21
Authors: LAVINIA CORINA CIUNGU
Categories:
Type: BOOK - Published: - Publisher: Infinite Study

DOWNLOAD EBOOK

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 operator
Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science
Language: en
Pages: 380
Authors: Stanisław Krajewski
Categories: Mathematics
Type: BOOK - Published: 2007 - Publisher: IOS Press

DOWNLOAD EBOOK

This volume honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. The editors would like to express the respect and sym