Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics.

Chrysafis Hartonas

Published in: Stud Logica (1997)

Keyphrases

boolean algebra
lattice structure
expressive power
modal logic
linear programming
distributive lattices
linearly ordered
valued logic
rough approximations
classical logic
inference rules
set theory
spatial reasoning
clifford algebra
learning algorithm
partially ordered
logic programming
propositional dynamic logic