Logics for extended distributive contact lattices.

Tatyana Ivanova

Published in: J. Appl. Non Class. Logics (2018)

Keyphrases

distributive lattices
expressive power
modal logic
information retrieval
learning algorithm
decision trees
boolean algebra
relational databases
general theory
proof theory