CHAJDA, Ivan, Helmut LÄNGER and Jan PASEKA. The Groupoid-Based Logic for Lattice Effect Algebras. In 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.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name The Groupoid-Based Logic for Lattice Effect Algebras
Authors CHAJDA, Ivan (203 Czech Republic), Helmut LÄNGER (40 Austria) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution).
Edition LOS ALAMITOS, 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), p. 230-235, 6 pp. 2017.
Publisher IEEE
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10101 Pure mathematics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
Publication form storage medium (CD, DVD, flash disk)
WWW URL
RIV identification code RIV/00216224:14310/17:00095337
Organization unit Faculty of Science
ISSN 2378-2226
Doi http://dx.doi.org/10.1109/ISMVL.2017.15
UT WoS 000788105900040
Keywords in English D-poset; effect algebra; lattice effect algebra; antitone involution; effect groupoid; groupoid-based logic
Tags NZ, rivok
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 12:10.
Abstract
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.
Links
GA15-15286S, research and development projectName: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti
Investor: Czech Science Foundation
PrintDisplayed: 26/4/2024 20:06