Information frames, implication systems and modalities

dc.contributor.author	D'Agostino, Marcello
dc.contributor.author	Gabbay, Dov M.
dc.contributor.author	Russo, Alessandra
dc.date.accessioned	2007-04-03T08:20:10Z
dc.date.available	2007-04-03T08:20:10Z
dc.date.issued	1996
dc.identifier.issn	1134-5632
dc.identifier.uri	http://hdl.handle.net/2099/2615
dc.description.abstract	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.
dc.format.extent	16
dc.language.iso	eng
dc.publisher	Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartof	Mathware & soft computing . 1996 Vol. 3 Núm. 1 [ -2 ]p.67-82
dc.rights	Reconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.other	Logical systems
dc.title	Information frames, implication systems and modalities
dc.type	Article
dc.subject.lemac	Lògica matemàtica
dc.subject.ams	Classificació AMS::03 Mathematical logic and foundations::03B General logic
dc.rights.access	Open Access

UPCommons. Portal del coneixement obert de la UPC