Keyphrases
- classical logic
- computer algebra
- proof search
- theorem prover
- algebraic structure
- modal logic
- logic programming
- sound and complete with respect
- multi valued
- automated reasoning
- higher order
- automated theorem proving
- predicate logic
- algebraic geometry
- valued semantics
- mathematical theory
- integrity checking
- theorem proving
- website
- truth values
- epistemic logic
- asynchronous circuits
- proof procedure
- real time
- set theory
- inference rules
- valued logic
- search algorithm
- genetic algorithm
- machine learning