Gentzen Calculi for the Existence Predicate.

Matthias Baaz Rosalie Iemhoff

Published in: Stud Logica (2006)

Keyphrases

horn clauses
first order logic
sequent calculi
database
data mining
artificial intelligence
decision making
multiscale
logic programs
data exchange
fixed point