Information frames, implication systems and modalities.
D'Agostino, Marcello ; Gabbay, Dov M. ; Russo, Alessandra
Mathware and Soft Computing, Tome 3 (1996), p. 67-82 / Harvested from Biblioteca Digital de Matemáticas
Access to full text

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.

Publié le : 1996-01-01
DMLE-ID : 1818 
@article{urn:eudml:doc:39060,
     title = {Information frames, implication systems and modalities.},
     journal = {Mathware and Soft Computing},
     volume = {3},
     year = {1996},
     pages = {67-82},
     zbl = {0920.03027},
     mrnumber = {MR1414255},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39060}
}

D'Agostino, Marcello; Gabbay, Dov M.; Russo, Alessandra. Information frames, implication systems and modalities.. Mathware and Soft Computing, Tome 3 (1996) pp. 67-82. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39060/