Further results and examples for formal mathematical systems with structural induction

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 p...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2022-01
Main Author: Kunik, Matthias
Format: Article
Language:English
Subjects:
Grammars
Mathematical analysis
Predicate calculus
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422