Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.
Asta Halkjær FromPublished in: ESSLLI Student Sessions (2021)
Keyphrases
- propositional logic
- first order logic
- belief revision
- possibilistic logic
- lattice theory
- quantified boolean formulae
- davis putnam
- proof procedure
- belief change
- satisfiability testing
- propositional formulas
- propositional satisfiability
- machine learning
- semantic web
- solving hard
- knowledge representation
- domain knowledge
- knowledge base
- artificial intelligence