The Interpretability Logic of Peano Arithmetic.

Alessandro Berarducci

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

Keyphrases

micron cmos
modal logic
predicate logic
logic programming
classical logic
proof theory
probabilistic logic
data sets
artificial intelligence
information retrieval
machine learning
rule base
fuzzy rules
prediction accuracy
arithmetic operations
epistemic logic
linear logic
multiple valued
quantifier free