Representing Formulas of Propositional Logic by Cographs, Permutations and Tables.
Michal SochanskiPublished in: Diagrams (2022)
Keyphrases
- propositional logic
- propositional formulas
- belief revision
- first order logic
- propositional variables
- davis putnam
- quantified boolean formulae
- possibilistic logic
- lattice theory
- belief change
- database
- proof procedure
- predicate calculus
- expressive power
- database design
- belief update
- query language
- natural language
- knowledge base
- satisfiability testing
- artificial intelligence