Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic.
Camillo FiorentiniMauro FerrariPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- belief revision
- search algorithm
- search space
- possibilistic logic
- lattice theory
- quantified boolean formulae
- search strategy
- classical logic
- theorem proving
- belief change
- linear programming
- fuzzy set theory
- propositional satisfiability
- solving hard
- computational intelligence
- satisfiability testing
- relational databases