Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Stępień, T. J."'
Autor:
Stępień, T. J., Stępień, Ł. T.
Publikováno v:
Journal of Mathematics and System Science, vol. 7, 43 - 55 (2017)
In this paper we establish that the well-known Arithmetic System is consistent in the traditional sense. The proof is done within this Arithmetic System.
Externí odkaz:
http://arxiv.org/abs/1803.11072
Autor:
Stepien, T. J., Stepien, L. T.
Publikováno v:
Journal of Mathematics and System Science 5 (2015) 364 - 368
This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the atomic entailment and we have constructed the system $\overset\sqcap S$, which is based on the atomic entailment. In this paper we
Externí odkaz:
http://arxiv.org/abs/1603.09334
Autor:
Stepien, T. J., Stepien, L. T.
Publikováno v:
Journal of Mathematics and System Science, vol. 5 (2015) 60 - 71
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of
Externí odkaz:
http://arxiv.org/abs/1603.06621