Description

• Title:
  Axiomatization of BLRI Determined by Limited Positive Relational Properties
• Creator:
  Jarmużek, Tomasz;
  Klonowski, Mateusz
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2022 Tomasz Jarmużek, Mateusz Klonowski;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2022.01.30
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English;
  eng
• Source:
  Logic and Logical Philosophy; Online First Articles; 1-29;
  Logic and Logical Philosophy; Prace online; 1-29;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/37322/31583
• Subject:
  algorithm α;
  Boolean logics with relating implication;
  BLRI;
  relating logic;
  relating semantics
• Identifier: https://apcz.umk.pl/LLP/article/view/37322
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text