Extensional proofs in a propositional logic modulo isomorphisms.
Alejandro Díaz-CaroGilles DowekPublished in: Theor. Comput. Sci. (2023)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- theorem proving
- belief revision
- quantified boolean formulae
- possibilistic logic
- davis putnam
- expressive power
- satisfiability testing
- lattice theory
- knowledge representation
- propositional satisfiability
- decision procedures
- belief change
- inference rules
- relational algebra
- domain knowledge
- universal quantification