Logics for Classes of Boolean Monoids.

Gerard Allwein Hilmi Demir Lee Pike

Published in: J. Log. Lang. Inf. (2004)

Keyphrases

expressive power
inference rules
real valued
real time
np complete
class labels
class hierarchy