Título inglés |
Information frames, implication systems and modalities. |
Título español |
Marcos de información, sistemas de implicación y modalidades. |
Autor/es |
D'Agostino, Marcello ; Gabbay, Dov M. ; Russo, Alessandra |
Organización |
Dep. Comput. Imperial Coll., Londres, Reino Unido |
Revista |
1134-5632 |
Publicación |
1996, 3 (1-2): 67-82, 18 Ref. |
Tipo de documento |
articulo |
Idioma |
Inglés |
Resumen inglés |
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. |
Clasificación UNESCO |
120304 ; 110402 ; 110205 |
Palabras clave español |
Lógica modal ; Demarcación |
Código MathReviews |
MR1414255 |
Código Z-Math |
Zbl 0920.03027 |
Acceso al artículo completo |