The Groupoid-Based Logic for Lattice Effect Algebras

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F17%3A73583897" target="_blank" >RIV/61989592:15310/17:73583897 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/ISMVL.2017.15" target="_blank" >http://dx.doi.org/10.1109/ISMVL.2017.15</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL.2017.15" target="_blank" >10.1109/ISMVL.2017.15</a>

Result language
angličtina
Original language name
The Groupoid-Based Logic for Lattice Effect Algebras
Original language description
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. © 2017 IEEE.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of The International Symposium on Multiple-Valued Logic
ISBN
978-1-5090-5495-4
ISSN
0195-623X
e-ISSN
2378-2226
Number of pages
6
Pages from-to
230-235
Publisher name
IEEE Computer Society Press
Place of publication
New York
Event location
Novi Sad; Srbsko
Event date
May 22, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)