The Formalization of The Arithmetic System on The Ground of The Atomic Logic
Logic
2016-04-01 v1
Abstract
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 , 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]).
Keywords
Cite
@article{arxiv.1603.09334,
title = {The Formalization of The Arithmetic System on The Ground of The Atomic Logic},
author = {T. J. Stepien and L. T. Stepien},
journal= {arXiv preprint arXiv:1603.09334},
year = {2016}
}
Comments
The paper: T.J. Stepien, L.T. Stepien, "Atomic Entailment and Atomic Inconsistency and Classical Entailment", cited in this paper, as [16], was also published in arXiv, as arXiv:1603.06621