The Variant Gentzen System for the Propositional Logic.

Bo Chen Yuefei Sui Cungen Cao

Published in: SKG (2015)

Keyphrases

propositional logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
horn clauses
davis putnam
lattice theory
belief change
natural language
lower bound
logic programming
nonmonotonic logics
satisfiability testing
horn logic