arXiv:1603.09334·math.LO·April 1, 2016
The Formalization of The Arithmetic System on The Ground of The Atomic Logic
T.J. Stepien, L.T. Stepien
TL;DR
None
Contribution
None
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]).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.