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.
|
