Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions.

Anna Maria Radzikowska

Published in: Fundam. Informaticae (2016)

Keyphrases

relation algebra
boolean algebra
neural network
clustering algorithm
image representation
modal logic
default logic
real time
information retrieval