Sign in
-algebras (nilpotent minimum algebras) with an application in formal logic L*.
Yanhong She
Xiaoli He
Published in:
Inf. Sci. (2014)
Keyphrases
</>
formal logic
relation algebra
predicate logic
expressive power
formal methods
general purpose
description logics
design theory