Towards a Cut-free Sequent Calculus for Boolean BI.

Sungwoo Park Jonghyun Park

Published in: PSPL@LICS (2010)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
linear time temporal logic
natural deduction
business intelligence
wide class
fixed point
general purpose
graph cuts
incomplete information
sufficient conditions
logical framework
description logics
bayesian networks
artificial intelligence