The Groupoid-Based Logic for Lattice Effect Algebras

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHAJDA Ivan LÄNGER Helmut PASEKA Jan

Rok publikování 2017
Druh Článek ve sborníku
Konference 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017)
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7964996
Doi http://dx.doi.org/10.1109/ISMVL.2017.15
Obor Obecná matematika
Klíčová slova D-poset; effect algebra; lattice effect algebra; antitone involution; effect groupoid; groupoid-based logic
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.