Keyphrases
- propositional calculus
- proof theory
- proof theoretic
- higher order logic
- expressive power
- sequent calculi
- modal logic
- decision procedures
- pairwise comparison
- linear logic
- default reasoning
- theorem proving
- theorem prover
- singular value decomposition
- genetic algorithm
- matrix representation
- projection matrices
- inference rules
- mathematical proofs
- nonmonotonic logics
- cp nets
- linear complementarity problem
- kronecker product
- data model
- symmetric matrices
- learning algorithm