New sequent calculi for Visser's Formal Propositional Logic.

Katsumasa Ishii

Published in: Math. Log. Q. (2003)

Keyphrases

propositional logic
sequent calculi
belief revision
conditional logic
first order logic
possibilistic logic
quantified boolean formulae
lattice theory
belief change
propositional satisfiability
satisfiability testing
propositional formulas
proof procedure