Circular (Yet Sound) Proofs in Propositional Logic.

Albert Atserias Massimo Lauria

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

propositional logic
first order logic
belief revision
theorem prover
theorem proving
lattice theory
possibilistic logic
quantified boolean formulae
belief change
horn logic
prime implicates
proof procedure
davis putnam
valued logic
logic programming
logic programs
expert systems