Asymptotic Densities in Logic and Type Theory.

Zofia Kostrzycka Marek Zaionc

Published in: Stud Logica (2008)

Keyphrases

formal theory
proof theory
probability theory
commonsense reasoning
set theory
deductive reasoning
computer algebra
modal logic
decision theory
logical framework
large deviations
general theory
genetic algorithm
expressive power
theoretical framework
causal reasoning
classical logic
formal logic
computational model