Preprint: not peer reviewed. Results may change in later versions.
Abstract
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. In this paper we present some further results and examples in order to illustrate how this theory works.
Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.
Record
- Archive ID
- arxiv:2008.07385
- Published
- Aug 17, 2020
- Updated
- Jan 20, 2022
- arXiv
- 2008.07385
- Categories
- math.LO, cs.LO
- Provenance
- arxiv