Logics of truth and disposition.

Kenneth H. Derus John C. Hansen

Published in: SIGACT News (1979)

Keyphrases

truth values
valued logic
expressive power
modal logic
inference rules
classical logic
proof theory
propositional logic
propositional calculus
data mining
fuzzy logic
first order logic
multi valued
logic programming
evolutionary algorithm
three dimensional
information retrieval