BCI-Algebra
BCI-Algebra

Author: Yisheng Huang

Publisher: Elsevier

Published: 2006

Total Pages: 368

ISBN-13: 9787030154118

DOWNLOAD EBOOK

Distributed by Elsevier Science on behalf of Science Press. This book is mainly designed for graduate students who are interested in the theory of BCK and BCI-algebras. It introduces the general theoretical basis of BCI-algebras, omitting difficult proofs and abstract topics which are less necessary for beginners to learn. With abundant examples and exercises arranged after each section, it provides readers with easy-to-follow steps into this field. Specially designed for graduate students with emphasis on elementary knowledge in this field Organizes knowledge points systematically and highlights various arguments on vital topics to make them easy to be understand Gives many examples to clarify important notations and terminologies and abundant of classified exercises after each chapter for revision purposes

BCC-Algebras
BCC-Algebras

Author: Janus Thomys

Publisher: CRC Press

Published: 2022-12-23

Total Pages: 332

ISBN-13: 1000804283

DOWNLOAD EBOOK

The subjects described in this book are BCC-algebras and an even wider class of weak BCC-algebras. The aim of the book is to summarize the achievements to date in the subject and to present them in the form of a logically created theory. Through appropriate grading and a precise description of the steps of the proofs, this theory is easily assimilated, and it should not take too long for the reader to learn about it. We begin with the motivation for their creation, many examples, and basic results used later in the book. Then we deal with the constructions of BCC-algebras and calculate the numbers of their subalgebras. The author describes the so-called solid weak BCC-algebras. They have some properties of BCI-algebras, but this requires completely new, often difficult, proofs. The important subclasses of weak BCC-algebras and the relationships between them are presented with many examples. BCC-Algebras is intended for researchers dealing with abstract algebra and for logicians working on the border between logic and algebra. The book is also of interest to students interested in the theory of (weak) BCC-algebras or simply in abstract algebra. The structure of the book makes it possible to discover topics that require further research, which, depending on the degree of difficulty, may be completed with a thesis or dissertation.

On the structure of general algebras and its applications
On the structure of general algebras and its applications

Author: Young Joo Seo

Publisher: Infinite Study

Published:

Total Pages: 79

ISBN-13:

DOWNLOAD EBOOK

In this thesis, we discuss some structural theory of a d-algebra which is a generalization of a BCK-algebra, and wedis uss analytic real algebras. We investigate several conditions for analytic real algebras to be d-algebras. Moreover, we introduce the notion of a Smarandacheness to BCI-algebras, and obtain several properties on Smarandache fuzzy BCI-algebras.

Neutrosophic Soft Topological K-Algebras
Neutrosophic Soft Topological K-Algebras

Author: Muhammad Akram

Publisher: Infinite Study

Published:

Total Pages: 21

ISBN-13:

DOWNLOAD EBOOK

In this paper, we propose the notion of single-valued neutrosophic soft topological K-algebras. We discuss certain concepts, including interior, closure, C5-connected, super connected, Compactness and Hausdorff in singlevalued neutrosophic soft topological K-algebras. We illustrate these concepts with examples and investigate some of their related properties. We also study image and pre-image of single-valued neutrosophic soft topologicalK-algebras.

NEUTROSOPHIC QUADRUPLE BCI-COMMUTATIVE IDEALS
NEUTROSOPHIC QUADRUPLE BCI-COMMUTATIVE IDEALS

Author: GHOLAM REZA REZAEI

Publisher: Infinite Study

Published:

Total Pages: 15

ISBN-13:

DOWNLOAD EBOOK

The notion of a neutrosophic quadruple BCI-commutative ideal in a neutrosophic quadruple BCI-algebra is introduced, and several properties are investigated. Relations between a neutrosophic quadruple ideal and a neutrosophic quadruple BCI-commutative ideal are discussed, and conditions for the neutrosophic quadruple ideal to be a neutrosophic quadruple BCI-commutative ideal are given. Conditions for the neutrosophic quadruple set to be a neutrosophic quadruple BCI-commutative ideal are provided, and the extension property of a neutrosophic quadruple BCI-commutative ideal is considered.

Commutative neutrosophic quadruple ideals of neutrosophic quadruple BCK-algebras
Commutative neutrosophic quadruple ideals of neutrosophic quadruple BCK-algebras

Author: M. Mohseni Takallo

Publisher: Infinite Study

Published:

Total Pages: 11

ISBN-13:

DOWNLOAD EBOOK

Commutative neutrosophic quadruple ideals and BCK-algebras are discussed, and related properties are investigated. Conditions for the neutrosophic quadruple BCK-algebra to be commutative are considered. Given subsets A and B of a neutrosophic quadruple BCK-algebra, conditions for the set NQ(A;B) to be a commutative ideal of a neutrosophic quadruple BCK-algebra are provided.

Computer Science Logic
Computer Science Logic

Author: Jacques Duparc

Publisher: Springer Science & Business Media

Published: 2007-08-30

Total Pages: 611

ISBN-13: 3540749144

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.