Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

13.240 Articles in journals published by the UPC
You are here:
View Item 
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 1996, Vol. III, Núm. 1-2
  • View Item
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 1996, Vol. III, Núm. 1-2
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Information frames, implication systems and modalities

Thumbnail
View/Open
russo.pdf (221,5Kb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2099/2615

Show full item record
D'Agostino, Marcello
Gabbay, Dov M.
Russo, Alessandra
Document typeArticle
Defense date1996
PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain
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.
URIhttp://hdl.handle.net/2099/2615
ISSN1134-5632
Collections
  • Mathware & soft computing - 1996, Vol. III, Núm. 1-2 [27]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
russo.pdf221,5KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina