Sequent Calculi for Some Strict Implication Logics.

Ryo Ishigaki Ryo Kashima

Published in: Log. J. IGPL (2008)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
linear logic
sequent calculus
functional dependencies
high level