arXiv subjects
Publications and source records attributed to T. J. 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 $\overset\sqcap S$, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic (see [17]).
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 atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.