Effectively inseparable Boolean algebras in lattices of sentences.

V. Yu. Shavrukov

Published in: Arch. Math. Log. (2010)

Keyphrases

distributive lattices
natural language
real valued
boolean functions
boolean algebra
data mining
temporal reasoning