M. Bunder

activity

20072023

collaborators

3 papers

math.NT2023

On the linear space of the two-sided generalized Fibonacci sequences

Martin Bunder, Joseph Tonien

In this paper, we study the linear space of all two-sided generalized Fibonacci sequences ${F_{n}}_{n \in Z}$ that satisfy the recurrence equation of order $k$ : $F_n = F_{…

math.NT2021

Generalized Fibonacci sequences and their properties

Martin Bunder, Joseph Tonien

Let $F_{n} (k)$ be the generalized Fibonacci number defined by (with $F_{i} (k)$ abbreviated to $F_{i}$ ): $F_{n} = F_{n - 1} + F_{n - 2} + \dots + F_{n - k}$ , for $n \geq k$ , and the initial value…

cs.LO2007

Are there Hilbert-style Pure Type Systems?

M. W. Bunder, W. M. J. Dekkers

For many a natural deduction style logic there is a Hilbert-style logic that is equivalent to it in that it has the same theorems (i.e. valid judgements with empty contexts). For i…