Detailed Information on Publication Record
2017
The Groupoid-Based Logic for Lattice Effect Algebras
CHAJDA, Ivan, Helmut LÄNGER and Jan PASEKABasic 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
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10101 Pure mathematics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
storage medium (CD, DVD, flash disk)
References:
RIV identification code
RIV/00216224:14310/17:00095337
Organization unit
Faculty of Science
ISSN
UT WoS
000788105900040
Keywords in English
D-poset; effect algebra; lattice effect algebra; antitone involution; effect groupoid; groupoid-based logic
Změněno: 31/5/2022 12:10, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
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 project |
|