College Publications logo   College Publications title  
View Basket
Homepage Contact page
Academia Brasileira de Filosofia
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
Encyclopaedia of Logic
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Marked States
Neural Computing and Artificial Intelligence
The SILFS series
Studies in Logic
History of Logic
Logic and cognitive systems
Mathematical logic and foundations
Studies in Logic and Argumentation
Logic and Bounded Rationality
Studies in Talmudic Logic
Student Publications
Texts in Logic and Reasoning
Texts in Mathematics
Digital Downloads
Information for authors
About us
Search for Books

Studies in Logic


Non-commutative Algebras

Pseudo-BCK Algebras versus m-pseudo-BCK Algebras

Afrodita Iorgulescu

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 {bf 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).

July 2024


© 2005–2024 College Publications / VFH webmaster