Many-Valued Relation Lifting and Moss' Coalgebraic Logic.

Marta Bílková Matej Dostál

Published in: CALCO (2013)

Keyphrases

modal logic
truth values
classical logic
wavelet transform
multi valued
logic programming
digital circuits
temporal logic
inference rules
concept lattice
conceptual clustering
relation algebra
set theory
logical framework
genetic algorithm
neural network
query language
formal theory
delay insensitive
data sets