Dual-context sequent calculus and strict implication

Kentaro Kikuchi

doi:10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N

Dual-context sequent calculus and strict implication

Kentaro Kikuchi

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	87-92
Number of pages	6
Journal	Mathematical Logic Quarterly
Volume	48
Issue number	1
DOIs	https://doi.org/10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N
Publication status	Published - 2002 Aug 21
Externally published	Yes

Keywords

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

ASJC Scopus subject areas

Logic

Access to Document

10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N

Cite this

@article{b25ad01d92da423581bc16eb6e7f1b94,

title = "Dual-context sequent calculus and strict implication",

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.",

keywords = "Completeness, Cut-elimination, Dual-context sequent calculus, Kripke semantics, Strict implication",

author = "Kentaro Kikuchi",

year = "2002",

month = aug,

day = "21",

doi = "10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N",

language = "English",

volume = "48",

pages = "87--92",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "1",

}

TY - JOUR

T1 - Dual-context sequent calculus and strict implication

AU - Kikuchi, Kentaro

PY - 2002/8/21

Y1 - 2002/8/21

N2 - 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.

AB - 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.

KW - Completeness

KW - Cut-elimination

KW - Dual-context sequent calculus

KW - Kripke semantics

KW - Strict implication

UR - http://www.scopus.com/inward/record.url?scp=0036003357&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036003357&partnerID=8YFLogxK

U2 - 10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N

DO - 10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N

M3 - Article

AN - SCOPUS:0036003357

SN - 0942-5616

VL - 48

SP - 87

EP - 92

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 1

ER -

Dual-context sequent calculus and strict implication

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this