Powerset Residuated Algebras and Generalized Lambek Calculus.

Miroslawa Kolowska-Gawiejnowicz

Published in: Math. Log. Q. (1997)

Keyphrases

relation algebra
expressive power
data sets
databases
artificial intelligence
interval algebra
provably correct
database
automated deduction
clifford algebra