Logical Metric Expressions Based on Truth Degree in Two-Valued Propositional Logic.
Ai-Qing WangTing-Ming WangPublished in: ICNC (7) (2008)
Keyphrases
- propositional logic
- valued logic
- first order logic
- belief revision
- truth values
- function free horn
- possibilistic logic
- lattice theory
- logical theories
- quantified boolean formulae
- predicate calculus
- classical logic
- logical framework
- propositional satisfiability
- fuzzy logic
- satisfiability testing
- knowledge base
- multi valued
- proof procedure
- davis putnam
- horn logic