Revistes Catalanes amb Accés Obert (RACO)

Information frames, implication systems and modalities

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

Resum


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