On the Provability Logic of Bounded Arithmetic.

Alessandro Berarducci Rineke Verbrugge

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

micron cmos
logic programming
modal logic
truth table
automated reasoning
arithmetic operations
digital circuits
information retrieval
asynchronous circuits
predicate logic
computational properties
probabilistic logic
decision trees
database
logical framework
multi valued
search algorithm
quantifier free