Revistes Catalanes amb Accés Obert (RACO)

Information frames, implication systems and modalities

Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo


We 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 the formulation of a uniform labelled refutation system for these logics.

Text complet: HTML