Truth Diagrams Versus Extant Notations for Propositional Logic.
Peter C.-H. ChengPublished in: J. Log. Lang. Inf. (2020)
Keyphrases
- propositional logic
- valued logic
- first order logic
- belief revision
- unified modeling language
- lattice theory
- propositional satisfiability
- quantified boolean formulae
- belief change
- truth values
- possibilistic logic
- davis putnam
- satisfiability testing
- proof procedure
- uml diagrams
- theorem proving
- knowledge base
- inference rules
- knowledge representation