Description

• Title:
  Variable Sharing in Substructural Logics: an Algebraic Characterization
• Creator:
  Badia, Guillermo
• Contributor:
  Department of Knowledge-Based Mathematical Systems, Johannes Kepler Universität, Austria;
  guillermo.badia_hernandez@jku.at
• Description:
  We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.;
  The work was supported by the Austrian Science Fund (FWF): project I 1923-N25 (New perspectives on residuated posets).
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.01.14;
  2018
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  47
• Subject:
  relevant logic;
  algebraic characterizations of logical properties;
  variable sharing property;
  substructural logics
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/26415 ;
  2449-836X;
  10.18778/0138-0680.47.2.03
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image