Description

• Tytuł:
  Axiomatization of BLRI Determined by Limited Positive Relational Properties
• Twórca:
  Jarmużek, Tomasz;
  Klonowski, Mateusz
• Opis:
  In the paper a generalised method for obtaining an adequate axiomatic system for any relating logic expressed in the language with Boolean connectives and relating implication (BLRI), determined by the limited positive relational properties is studied. The method of defining axiomatic systems for logics of a given type is called an algorithm since the analysis allows for any logic determined by the limited positive relational properties to define the adequate axiomatic system automatically, step-by-step. We prove in the paper that the algorithm really works and we show how it can be applied to BLRI.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2022 Tomasz Jarmużek, Mateusz Klonowski
• Data:
  2022.01.30
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  Logic and Logical Philosophy; Online First Articles; 1-29;
  Logic and Logical Philosophy; Prace online; 1-29;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/37322/31583
• Temat i słowa kluczowe:
  algorithm α;
  Boolean logics with relating implication;
  BLRI;
  relating logic;
  relating semantics
• Identyfikator: https://apcz.umk.pl/LLP/article/view/37322
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text