Inicio > > Ciencias de la computación > BCK Algebras versus m-BCK Algebras. Foundations
BCK Algebras versus m-BCK Algebras. Foundations

BCK Algebras versus m-BCK Algebras. Foundations

Afrodita Iorgulescu

29,05 €
IVA incluido
Disponible
Editorial:
College Publications
Año de edición:
2022
Materia
Ciencias de la computación
ISBN:
9781848904163
29,05 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

This monograph gathers the author’s results obtained since April 2019, which have been published in seven papers. Starting from theframe-work centered on BCK algebras, m-BCK algebras are defi ned (’m’ coming from ’magma’) (algebras including the MV and theBoolean 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 usingthe computer program Prover9/Mace4. Also included in the book are some new results, never published before, on L algebras, on quantum Balgebras, 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’.

Artículos relacionados

Otros libros del autor

  • Four Functors. The ’ancestor’ of Mundici’s equivalence between unital commutative l-groups and MV algebras
    Afrodita Iorgulescu
    Daniele Mundici has proved in 1986 that the category of lattice-ordered commutative groups with strong unit (or unital commutative l-groups, for short) is equivalent to the category of MV algebras, by proving the existance of the quasi-inverse functors Gamma and  Xi. He has made the proof in one step, but the proof can be made in two steps, as it is sketched in this book, by in...
    Disponible

    27,30 €

  • 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 fra...