Formalized Proof Systems for Propositional Logic.

Julius Michaelis Tobias Nipkow

Published in: TYPES (2017)

Keyphrases

propositional logic
belief revision
first order logic
artificial intelligence
proof procedure
expert systems
lattice theory
quantified boolean formulae
theorem prover
davis putnam