Opis

• Tytuł:
  Variable Sharing in Substructural Logics: an Algebraic Characterization
• Twórca:
  Badia, Guillermo
• Współtwórca:
  Department of Knowledge-Based Mathematical Systems, Johannes Kepler Universität, Austria;
  guillermo.badia_hernandez@jku.at
• Opis:
  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).
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.01.14;
  2018
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  47
• Temat i słowa kluczowe:
  relevant logic;
  algebraic characterizations of logical properties;
  variable sharing property;
  substructural logics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/26415 ;
  2449-836X;
  10.18778/0138-0680.47.2.03
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy