Information frames, implication systems and modalities.

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