D 2017

The Groupoid-Based Logic for Lattice Effect Algebras

CHAJDA, Ivan, Helmut LÄNGER a Jan PASEKA

Základní údaje

Originální název

The Groupoid-Based Logic for Lattice Effect Algebras

Autoři

CHAJDA, Ivan (203 Česká republika), Helmut LÄNGER (40 Rakousko) a Jan PASEKA (203 Česká republika, garant, domácí)

Vydání

LOS ALAMITOS, 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), od s. 230-235, 6 s. 2017

Nakladatel

IEEE

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

paměťový nosič (CD, DVD, flash disk)

Odkazy

Kód RIV

RIV/00216224:14310/17:00095337

Organizační jednotka

Přírodovědecká fakulta

ISSN

DOI

UT WoS

000788105900040

Klíčová slova anglicky

D-poset; effect algebra; lattice effect algebra; antitone involution; effect groupoid; groupoid-based logic

Štítky

Změněno: 31. 5. 2022 12:10, RNDr. Pavel Šmerk, Ph.D.

Anotace

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.

Návaznosti

GA15-15286S, projekt VaV
Název: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti
Investor: Grantová agentura ČR, Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti