Informace o publikaci
Fleischer po-semigroups and quantum B-algebras
| Autoři | |
|---|---|
| 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 | |
| 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: |