D 2017

The Groupoid-Based Logic for Lattice Effect Algebras

CHAJDA, Ivan, Helmut LÄNGER and Jan PASEKA

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

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:

URL

RIV identification code

RIV/00216224:14310/17:00095337

Organization unit

Faculty of Science

ISSN

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
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
Name: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti
Investor: Czech Science Foundation
Displayed: 5/11/2024 17:28