Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.

Yaroslav Shramko Heinrich Wansing

Published in: J. Log. Lang. Inf. (2006)

Keyphrases

truth values
inference rules
boolean logic
multi valued
valued logic
fixpoint
linearly ordered
lattice structure
artificial intelligence
logic programs
bayesian networks
probabilistic model
pattern matching