Dual-context sequent calculus and strict implication

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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
Volume48
Issue number1
DOIs
Publication statusPublished - 2002 Aug 21
Externally publishedYes

Keywords

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

ASJC Scopus subject areas

  • Logic

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

  • Cite this