Fleischer po-semigroups and quantum B-algebras

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	KÜHR Jan PASEKA Jan
Rok publikování	2020
Druh	Článek ve sborníku
Konference	2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
www	https://conferences.computer.org/ismvl/pdfs/ISMVL2020-6CeVlZGfQNLgKvukfNXZmZ/540600a285/540600a285.pdf
Doi	http://dx.doi.org/10.1109/ISMVL49045.2020.00060
Klíčová slova	Partially ordered semigroup; residuable element; residuated partially ordered semigroup; quantale; quantum B-algebra; Fleischer po-semigroup; (pseudo-) BCK-algebra
Popis	Following the idea of Fleischer who represented BCK-algebras by means of residuable elements of commutative integral po-monoids, we describe quantum B-algebras as subsets of residuable elements of posemigroups. Moreover, we show that quantum B-algebras correspond one-to-one to what we call Fleischer posemigroups. Such an approach is more economical than using logical quantales introduced by Rump.
Související projekty:	Grupové techniky a kvantová informace