Equational Classes of Totally Ordered Modal Lattices.

Alejandro Petrovich

Published in: Order (1999)

Keyphrases

totally ordered
partially ordered
partial order
theorem proving
information retrieval
databases
rough sets
modal logic