The groupoid-based logic for lattice effect algebras
Logic
2018-10-15 v1
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.
Cite
@article{arxiv.1810.05498,
title = {The groupoid-based logic for lattice effect algebras},
author = {I. Chajda and H. Länger and J. Paseka},
journal= {arXiv preprint arXiv:1810.05498},
year = {2018}
}
Comments
7 pages