Grafting modalities onto substructural implication systems

Marcello D'agostino; Dov M. Gabbay; Alessandra Russo

doi:10.1023/A:1004947400860

Grafting modalities onto substructural implication systems

Marcello D'agostino, Dov M. Gabbay, Alessandra Russo

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

10 Scopus citations

Abstract

We investigate the semantics of the logical systems obtained by introducing the modalities □ and ◇ into the family of substructural implication logics (including relevantΓlinear and intuitionistic implication). ThenΓin the spirit of the LDS (Labelled Deductive Systems) methodologyΓwe "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper.

Original language	English
Pages (from-to)	65-102
Number of pages	38
Journal	Studia Logica
Volume	59
Issue number	1
DOIs	https://doi.org/10.1023/A:1004947400860
State	Published - 1997
Externally published	Yes

Keywords

Kripke semanticsΓlabelled deductive systemsΓKE system

Access to Document

10.1023/A:1004947400860

Cite this

@article{40ee70ce8cd344ea970ff25dd61e5cd4,

title = "Grafting modalities onto substructural implication systems",

abstract = "We investigate the semantics of the logical systems obtained by introducing the modalities □ and ◇ into the family of substructural implication logics (including relevantΓlinear and intuitionistic implication). ThenΓin the spirit of the LDS (Labelled Deductive Systems) methodologyΓwe {"}import{"} this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper.",

keywords = "Kripke semanticsΓlabelled deductive systemsΓKE system",

author = "Marcello D'agostino and Gabbay, {Dov M.} and Alessandra Russo",

year = "1997",

doi = "10.1023/A:1004947400860",

language = "אנגלית",

volume = "59",

pages = "65--102",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Grafting modalities onto substructural implication systems

AU - D'agostino, Marcello

AU - Gabbay, Dov M.

AU - Russo, Alessandra

PY - 1997

Y1 - 1997

N2 - We investigate the semantics of the logical systems obtained by introducing the modalities □ and ◇ into the family of substructural implication logics (including relevantΓlinear and intuitionistic implication). ThenΓin the spirit of the LDS (Labelled Deductive Systems) methodologyΓwe "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper.

AB - We investigate the semantics of the logical systems obtained by introducing the modalities □ and ◇ into the family of substructural implication logics (including relevantΓlinear and intuitionistic implication). ThenΓin the spirit of the LDS (Labelled Deductive Systems) methodologyΓwe "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper.

KW - Kripke semanticsΓlabelled deductive systemsΓKE system

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

U2 - 10.1023/A:1004947400860

DO - 10.1023/A:1004947400860

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0009560772

SN - 0039-3215

VL - 59

SP - 65

EP - 102

JO - Studia Logica

JF - Studia Logica

IS - 1

ER -

Grafting modalities onto substructural implication systems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this