The Groupoid-Based Logic for Lattice Effect Algebras.

Ivan Chajda Helmut Länger Jan Paseka

Published in: ISMVL (2017)

Keyphrases

boolean algebra
equivalence relation
lattice theory
logic programming
relation algebra
temporal reasoning
set theory
lattice structure