Login / Signup

-algebras (nilpotent minimum algebras) with an application in formal logic L*.

Yanhong SheXiaoli He
Published in: Inf. Sci. (2014)
Keyphrases
  • formal logic
  • relation algebra
  • predicate logic
  • expressive power
  • formal methods
  • general purpose
  • description logics
  • design theory