Álgebras BCK versus Álgebras m-BCK. Cimientos

Esta monografía recoge los resultados del autor obtenidos desde abril de 2019, que han sido publicados en siete artículos. Partiendo del marco centrado en las álgebras BCK, se definen álgebras m-BCK ('m' procedente de 'magma') (álgebras que incluyen la MV y las álgebras de Boole) y otras álgebras más generales, obteniendo así un nuevo marco análogo -trabajo, centrado en álgebras m-BCK. En el caso involutivo se obtienen 'teoremas puente' que conectan los dos marcos. Dentro de este nuevo marco se incorporan las estructuras cuánticas: las redes involutivas acotadas, las álgebras de De Morgan, las ortolatículas, las álgebras cuánticas MV, las redes ortomodulares, con nuevos resultados importantes y muchos ejemplos obtenidos utilizando el programa informático Prover9/Mace4. . También se incluyen en el libro algunos resultados nuevos, nunca antes publicados, sobre álgebras L, álgebras cuánticas B, álgebras pseudo-BCI/pseudo-BCK y preálgebras (en el caso no conmutativo) e importantes resultados finales sobre estructuras cuánticas, con muchos ejemplos. Esta monografía tiene 17 capítulos, divididos en tres partes: la Parte I se centra en el "mundo" de las álgebras BCK y de las pseudo-álgebras BCK, la Parte II se concentra en el "mundo" de las álgebras m-BCK y la Parte III trata sobre los "teoremas de puente". ' entre los dos 'mundos'.

• | Autor: Afrodita Iorgulescu
• | Editorial: Publicaciones universitarias
• | Fecha de publicación: 31 de octubre de 2022
• | Número de páginas: 694 páginas
• | Idioma: inglés
• | Encuadernación: Tapa blanda
• | ISBN-10: 1848904169
• | ISBN-13: 9781848904163