The n-adic first-order undefinability of the Geach formula.

Raymond E. Jennings D. K. Johnston Peter K. Schotch

Published in: Notre Dame J. Formal Log. (1981)

Keyphrases

universally quantified
linear temporal logic
horn clauses
higher order
first order logic
logical formulas
loop formulas
stochastic dominance
databases
genetic algorithm
pairwise
expert systems
database systems
case study
term rewriting
artificial intelligence
database
inductive logic programming systems