Exploració per autor "D'Agostino, Marcello"
Ara es mostren els items 1-1 de 1
-
Information frames, implication systems and modalities
D'Agostino, Marcello; Gabbay, Dov M.; Russo, Alessandra (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Accés obertWe investigate the logical systems which result from introducing the modalities □ and ◊ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to ...