Intermediate Predicate Logics Determined by Ordinals.

Pierluigi Minari Mitio Takano Hiroakira Ono

Published in: J. Symb. Log. (1990)

Keyphrases

modal logic
first order logic
data sets
data mining
expressive power
inference rules
real world
information systems
case study
machine learning
multi agent
natural language
proof theory