Information frames, implication systems and modalities.

D'Agostino, Marcello, Gabbay, Dov M., and Russo, Alessandra. "Information frames, implication systems and modalities.." Mathware and Soft Computing 3.1-2 (1996): 67-82. <http://eudml.org/doc/39060>.

@article{DAgostino1996,
abstract = {We investigate the logical systems which result from introducing the modalities L and M into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.},
author = {D'Agostino, Marcello, Gabbay, Dov M., Russo, Alessandra},
journal = {Mathware and Soft Computing},
keywords = {Lógica modal; Demarcación; information frame; quantale; labelled deductive system; relevance logic; modal logic; substructural logics with modal operators; semantics},
language = {eng},
number = {1-2},
pages = {67-82},
title = {Information frames, implication systems and modalities.},
url = {http://eudml.org/doc/39060},
volume = {3},
year = {1996},
}

TY - JOUR
AU - D'Agostino, Marcello
AU - Gabbay, Dov M.
AU - Russo, Alessandra
TI - Information frames, implication systems and modalities.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 67
EP - 82
AB - We investigate the logical systems which result from introducing the modalities L and M into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.
LA - eng
KW - Lógica modal; Demarcación; information frame; quantale; labelled deductive system; relevance logic; modal logic; substructural logics with modal operators; semantics
UR - http://eudml.org/doc/39060
ER -