Další formáty:
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 a Jan PASEKA. The Groupoid-Based Logic for Lattice Effect Algebras. Online. In \textit{2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017)}. LOS ALAMITOS: IEEE, 2017. s.~230-235. ISSN~2378-2226. Dostupné z: https://dx.doi.org/10.1109/ISMVL.2017.15. [citováno 2024-04-24]
|
