Fleischer po-semigroups and quantum B-algebras

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

KÜHR Jan PASEKA Jan

Year of publication 2020
Type Article in Proceedings
Conference 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)
MU Faculty or unit

Faculty of Science

Citation
Web https://conferences.computer.org/ismvl/pdfs/ISMVL2020-6CeVlZGfQNLgKvukfNXZmZ/540600a285/540600a285.pdf
Doi http://dx.doi.org/10.1109/ISMVL49045.2020.00060
Keywords Partially ordered semigroup; residuable element; residuated partially ordered semigroup; quantale; quantum B-algebra; Fleischer po-semigroup; (pseudo-) BCK-algebra
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.