Quantified propositional calculi and fragments of bounded arithmetic.

Jan Krajícek Pavel Pudlák

Published in: Math. Log. Q. (1990)

Keyphrases

propositional logic
default logic
first order logic
arithmetic operations
sequent calculi
probabilistic logic
neural network
multi valued
horn clauses