Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations.

Jan Krajícek Pavel Pudlák

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

Keyphrases

classical first order logic
first order logic
management system
logic programming
higher order
complex systems
decision problems
theorem prover
horn clauses
worst case
theoretical framework
temporal logic
set intersection