A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2022)

Keyphrases

set theoretic
first order logic
quantifier free
expressive power
image recovery
quantifier elimination
inference rules
knowledge representation
theorem proving
theorem prover
transitive closure
decision rules
databases
rewrite systems
temporal logic
relational algebra
constraint databases
rough sets
data mining