Mutually-Inversistic Logic with Uncertainty.

Published in: FSKD (1) (2008)

Keyphrases

probability theory
inherent uncertainty
uncertain data
belief functions
classical logic
predicate logic
asynchronous circuits
decision making
logic programming
incomplete information
dynamic logic
proof theory
fuzzy logic
logical framework
set theory
deontic logic