A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.
Arnon AvronPublished in: TABLEAUX (2000)
Keyphrases
- automated theorem proving
- proof procedure
- proof search
- theorem proving
- description logics
- tableau calculus
- first order logic
- theorem prover
- automated deduction
- knowledge representation
- propositional logic
- expert systems
- data sets
- answer set programming
- inference rules
- social bookmarking
- predicate calculus
- similarity measure
- computer vision
- algebraic structure
- sequent calculus
- data mining
- neural network