Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1401908, author = {Chajda, Ivan and Länger, Helmut and Paseka, Jan}, address = {LOS ALAMITOS}, booktitle = {2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017)}, doi = {http://dx.doi.org/10.1109/ISMVL.2017.15}, keywords = {D-poset; effect algebra; lattice effect algebra; antitone involution; effect groupoid; groupoid-based logic}, howpublished = {paměťový nosič}, language = {eng}, location = {LOS ALAMITOS}, pages = {230-235}, publisher = {IEEE}, title = {The Groupoid-Based Logic for Lattice Effect Algebras}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7964996}, year = {2017} }
TY - JOUR ID - 1401908 AU - Chajda, Ivan - Länger, Helmut - Paseka, Jan PY - 2017 TI - The Groupoid-Based Logic for Lattice Effect Algebras PB - IEEE CY - LOS ALAMITOS KW - D-poset KW - effect algebra KW - lattice effect algebra KW - antitone involution KW - effect groupoid KW - groupoid-based logic UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7964996 L2 - http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7964996 N2 - The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represented by means of a groupoid-like structure. We establish a one-to-one correspondence between lattice effect algebras and certain groupoids with an antitone involution. Using these groupoids, we are able to introduce a suitable logic for lattice effect algebras. ER -
CHAJDA, Ivan, Helmut LÄNGER and Jan PASEKA. The Groupoid-Based Logic for Lattice Effect Algebras. In \textit{2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017)}. LOS ALAMITOS: IEEE, 2017, p.~230-235. ISSN~2378-2226. Available from: https://dx.doi.org/10.1109/ISMVL.2017.15.
|