Nonboolean partitions and their logic.

Daniele Mundici

Published in: Soft Comput. (1998)

Keyphrases

logic programming
modal logic
linear temporal logic
clustering algorithm
knowledge representation
multi valued
probabilistic logic
computational properties
predicate logic
automated reasoning
logic synthesis
delay insensitive
asynchronous circuits
real world
expert systems
multi agent systems
website