Extensional proofs in a propositional logic modulo isomorphisms.
Alejandro Díaz-CaroGilles DowekPublished in: CoRR (2020)
Keyphrases
- propositional logic
- first order logic
- belief revision
- theorem proving
- theorem prover
- quantified boolean formulae
- lattice theory
- possibilistic logic
- universal quantification
- search algorithm
- partial order
- proof procedure
- propositional satisfiability
- satisfiability testing
- knowledge representation
- artificial intelligence
- constraint satisfaction
- expressive power
- expert systems
- propositional formulas
- machine learning