2 papers
math.LO2016
The Formalization of The Arithmetic System on The Ground of The Atomic Logic
T. J. Stepien, L. T. Stepien
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 $\overs…
math.LO2016
Atomic Entailment and Atomic Inconsistency and Classical Entailment
T. J. Stepien, L. T. Stepien
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…