Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory.
Gilles DowekPublished in: CoRR (2023)
Keyphrases
- set theory
- first order logic
- automated theorem proving
- theorem prover
- theorem proving
- expressive power
- inference rules
- propositional logic
- algebraic geometry
- knowledge representation
- inductive logic programming
- transitive closure
- incomplete information
- quantifier free
- markov logic networks
- classical logic
- answer set programming
- knowledge discovery
- expert systems
- data analysis