Consequence and Complexity in Infinite-Valued Logic: A Survey.

Vincenzo Marra Daniele Mundici

Published in: ISMVL (2002)

Keyphrases

valued logic
classical logic
computational complexity
general purpose
knowledge representation
database
fuzzy logic