Further results and examples for formal mathematical systems with structural induction
Logic
2022-01-21 v7 Logic in Computer Science
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.
Cite
@article{arxiv.2008.07385,
title = {Further results and examples for formal mathematical systems with structural induction},
author = {Matthias Kunik},
journal= {arXiv preprint arXiv:2008.07385},
year = {2022}
}
Comments
43 pages. arXiv admin note: text overlap with arXiv:2005.04951