Quantifier-free versions of first order logic and their psychological significance.

Published in: J. Philos. Log. (1992)

Keyphrases

first order logic
quantifier free
expressive power
quantifier elimination
theorem proving
inference rules
knowledge representation
transitive closure
relational algebra
formal semantics
theorem prover
rewrite systems
horn clauses
databases
data model
computational complexity
artificial intelligence