Verified completeness in Henkin-style for intuitionistic propositional logic.

Huayu Guo Dongheng Chen Bruno Bentzen

Published in: CoRR (2023)

Keyphrases

propositional logic
first order logic
belief revision
theorem prover
quantified boolean formulae
fuzzy set theory
propositional satisfiability
davis putnam
classical logic
possibilistic logic
satisfiability testing
belief change
lattice theory
artificial intelligence
fuzzy numbers
proof procedure