On Strong Normalization in Proof-Graphs for Propositional Logic.

Marcela Quispe-Cruz Edward Hermann Haeusler Lew Gordeev

Published in: LSFA (2015)

Keyphrases

propositional logic
proof procedure
belief revision
first order logic
theorem proving
quantified boolean formulae
possibilistic logic
lattice theory
theorem prover
davis putnam
satisfiability testing
belief change
knowledge representation
default logic
minimal models