Fleischer po-semigroups and quantum B-algebras

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.