A proof-theoretical approach to some extensions of first order quantification.
Loïc AllègreOphélie LacroixChristian RetoréPublished in: CoRR (2024)
Keyphrases
- presburger arithmetic
- quantifier elimination
- first order logic
- higher order
- theorem prover
- theoretical analysis
- classical first order logic
- pairwise
- efficient implementation
- theoretical basis
- artificial intelligence
- social networks
- default theories
- linear logic
- logical rules
- term rewriting
- stochastic dominance
- neural network
- database