Grafting Modalities onto Substructural Implication Systems |
| |
Authors: | D'agostino Marcello Gabbay Dov M. Russo Alessandra |
| |
Affiliation: | (1) Department of Computing, Imperial College, 180 Queen's Gate, London, Sw7 2bz (, uk) |
| |
Abstract: | We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper. |
| |
Keywords: | Kripke semantics labelled deductive systems KE system |
本文献已被 SpringerLink 等数据库收录! |
|