Applying Ramseyfication to Infrared Spectroscopy

Michael Toppel

Erkenntnis, Volume 88, 2023, pp. 3357–3373

Buridan’s Secular Demarcation of Logic

M. Toppel, E. Ramharter

Philosophia, 1267–1288, 2021

On Relating Theories: Proof-Theoretical Reduction

M. Toppel, M. Rathjen

Springer, Mathesis Universalis, Computability and Proof, 2019, pp. 311-331