Wittgenstein's Elimination of Identity for Quantifier-Free Logic.
Timm LampertMarkus SäbelPublished in: Rev. Symb. Log. (2021)
Keyphrases
- quantifier free
- rewrite systems
- first order logic
- quantifier elimination
- term rewriting
- relational data model
- real numbers
- expressive power
- constraint propagation
- cardinality constraints
- theorem proving
- constraint databases
- query language
- satisfiability modulo theories
- formal semantics
- active rules
- database
- functional programming
- expert systems
- artificial intelligence