Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1721157, author = {Kühr, Jan and Paseka, Jan}, address = {New York}, booktitle = {2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)}, 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}, howpublished = {elektronická verze "online"}, language = {eng}, location = {New York}, isbn = {978-1-7281-5406-0}, pages = {285-290}, publisher = {IEEE}, title = {Fleischer po-semigroups and quantum B-algebras}, url = {https://conferences.computer.org/ismvl/pdfs/ISMVL2020-6CeVlZGfQNLgKvukfNXZmZ/540600a285/540600a285.pdf}, year = {2020} }
TY - JOUR ID - 1721157 AU - Kühr, Jan - Paseka, Jan PY - 2020 TI - Fleischer po-semigroups and quantum B-algebras PB - IEEE CY - New York SN - 9781728154060 KW - Partially ordered semigroup KW - residuable element KW - residuated partially ordered semigroup KW - quantale KW - quantum B-algebra KW - Fleischer po-semigroup KW - (pseudo-) BCK-algebra UR - https://conferences.computer.org/ismvl/pdfs/ISMVL2020-6CeVlZGfQNLgKvukfNXZmZ/540600a285/540600a285.pdf L2 - https://conferences.computer.org/ismvl/pdfs/ISMVL2020-6CeVlZGfQNLgKvukfNXZmZ/540600a285/540600a285.pdf N2 - 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. ER -
KÜHR, Jan a Jan PASEKA. Fleischer po-semigroups and quantum B-algebras. Online. In \textit{2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)}. New York: IEEE, 2020, s.~285-290. ISBN~978-1-7281-5406-0. Dostupné z: https://dx.doi.org/10.1109/ISMVL49045.2020.00060.
|