The Logic of Lattice Effect Algebras Based on Induced Groupoids.

Ivan Chajda Helmut Länger Jan Paseka

Published in: J. Multiple Valued Log. Soft Comput. (2019)

Keyphrases

boolean algebra
distributive lattices
lattice theory
logic programming
relation algebra
data sets
automated reasoning
database
real time
databases
neural network
artificial intelligence
probabilistic logic
computational properties
nonmonotonic logics
formal logic