A Representation Theorem for Finite Gödel Algebras with Operators.

Tommaso Flaminio Lluís Godo Ricardo Oscar Rodríguez

Published in: WoLLIC (2019)

Keyphrases

relation algebra
finite number
multi valued
translation invariant
real time
databases
case study
probabilistic model
building blocks
totally ordered