Open AccessAxiomatization of BLRI Determined by Limited Positive Relational Properties
Author(s) -
Tomasz Jarmużek,
Mateusz Klonowski
Publication year - 2022
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2022.003
Subject(s) - axiom , axiomatic system , computer science , mathematics , theoretical computer science , algorithm , algebra over a field , discrete mathematics , pure mathematics , geometry
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.