Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers.
Paul TarauPublished in: CoRR (2019)
Keyphrases
- theorem prover
- first order logic
- theorem proving
- inference rules
- horn clauses
- automated reasoning
- automated theorem proving
- higher order logic
- predicate calculus
- propositional logic
- computer algebra
- proof procedure
- automated deduction
- natural deduction
- formal semantics
- probabilistic reasoning
- timed automata
- data generator
- knowledge representation
- knowledge base
- artificial intelligence