Dual-context sequent calculus and strict implication

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


We introduce a dual-context style sequent calculus which is complete with respect to Kripke semantics where implication is interpreted as strict implication in the modal lic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.

Original languageEnglish
Pages (from-to)87-92
Number of pages6
JournalMathematical Logic Quarterly
Issue number1
Publication statusPublished - 2002 Aug 21
Externally publishedYes


  • Completeness
  • Cut-elimination
  • Dual-context sequent calculus
  • Kripke semantics
  • Strict implication

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Dual-context sequent calculus and strict implication'. Together they form a unique fingerprint.

Cite this