2020/08/17 by Matthias Kunik, Kunik, Matthias · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
paper · pdf · doi:10.48550/arxiv.2008.07385
In the former article "Formal mathematical systems including a structural\ninduction principle" we have presented a unified theory for formal mathematical\nsystems including recursive systems closely related to formal grammars,\nincluding the predicate calculus as well as a formal induction principle. In\nthis paper we present some further results and examples in order to illustrate\nhow this theory works.\n