Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 27 de julio de 2024
  

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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es