1 citations · 1 across the 8 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
Further results and examples for formal mathematical systems with structural induction
Matthias Kunik
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursiv…
math.LO2020★ 1 cited
Formal Mathematical Systems including a Structural Induction Principle
Matthias Kunik
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal ind…