Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1441809, author = {Paseka, Jan and Šlesinger, Radek}, address = {Linz}, booktitle = {Proceedings of The International Symposium on Multiple-Valued Logic, 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018}, doi = {http://dx.doi.org/10.1109/ISMVL.2018.00024}, editor = {R. Wille}, keywords = {Q-module; Q-order; Q-sup-Algebra; Q-sup-lattice; Quantale Sup-Algebra; Sup-lattice}, howpublished = {paměťový nosič}, language = {eng}, location = {Linz}, isbn = {978-1-5386-4463-8}, pages = {91-96}, publisher = {Springer}, title = {A representation theorem for quantale valued sup-algebras}, year = {2018} }
TY - JOUR ID - 1441809 AU - Paseka, Jan - Šlesinger, Radek PY - 2018 TI - A representation theorem for quantale valued sup-algebras PB - Springer CY - Linz SN - 9781538644638 KW - Q-module KW - Q-order KW - Q-sup-Algebra KW - Q-sup-lattice KW - Quantale Sup-Algebra KW - Sup-lattice N2 - With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of Q-sup-Algebra and shows a representation theorem for such structures generalizing the well-known representation theorems for quantales and sup-Algebras. In addition, we present some important properties of the category of Q-sup-Algebras. ER -
PASEKA, Jan and Radek ŠLESINGER. A representation theorem for quantale valued sup-algebras. In R. Wille. \textit{Proceedings of The International Symposium on Multiple-Valued Logic, 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018}. Linz: Springer, 2018, p.~91-96. ISBN~978-1-5386-4463-8. Available from: https://dx.doi.org/10.1109/ISMVL.2018.00024.
|