Sequent Calculi for some Trilattice Logics.

Norihiro Kamide Heinrich Wansing

Published in: Rev. Symb. Log. (2009)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
artificial intelligence
belief revision
sequent calculus