Lattice Logic Properly Displayed.

Giuseppe Greco Alessandra Palmigiano

Published in: CoRR (2016)

Keyphrases

boolean algebra
lattice theory
algebraic structure
logic programming
real time
classical logic
search algorithm
modal logic
automated reasoning
logical framework
set theory
abductive reasoning
dynamic logic
data sets
database
truth values
lattice structure
artificial intelligence
valued logic