-Logic and uniformization in the analytical hierarchy.

Jean-Pierre Ressayre

Published in: Arch. Math. Log. (1989)

Keyphrases

logic programming
machine learning
hierarchical structure
probability theory
linear logic
multiscale
modal logic
lower level
data sets
multi valued
classical logic
set theory
formal language
predicate logic
social networks
proof theory
sound and complete axiomatization