Simon Santschi


About me

I am a PhD student in mathematics at the University of Bern in Switzerland. I started my PhD in August 2022 under the supervision of George Metcalfe. I am mainly interested in algebraic logic and ordered algebraic structures. I am a board member of the SGSLPS (Swiss Graduate Society for Logic and Philosophy of Science).

Publications

  1. Semilinear idempotent distributive ℓ-monoids. Journal of Pure and Applied Algebra 228(6) (2024).
  2. Deciding Equations in the Time Warp Algebra (with S. van Gool, A. Guatto, and G. Metcalfe). Logical Methods in Computer Science 20(1) (2024), 22 pages.
  3. From distributive ℓ-monoids to ℓ-groups, and back again (with A. Colacito, N. Galatos, and G. Metcalfe). Journal of Algebra 601 (2022), 129–148.
  4. Time Warps, from Algebra to Algorithms (with S. van Gool, A. Guatto, and G. Metcalfe). Proc. RAMICS 2021, LNCS 13027, Springer (2021), 309-324. (arXiv Preprint)

Preprints

  1. Interpolation in Hájek's Basic Logic (with W. Fussner). (arXiv Preprint)
  2. Equational theories of idempotent semifields (with G. Metcalfe). (arXiv Preprint)
  3. Interpolation and the Exchange Rule (with W. Fussner and G. Metcalfe). (arXiv Preprint)
  4. Interpolation in Linear Logic and Related Systems (with W. Fussner). Submitted. (arXiv Preprint)

Recent talks

  1. Interpolation in Substructural Logics I: Logics with Exchange, MOSAIC 2023, Vienna, Austria, 2023.
  2. Semilinear idempotent distributive l-monoids, TACL 2022, Coimbra, Portugal, 2022.
  3. Time Warps, Special Session on Algebraic Logic of the AMS Spring Western Virtual Sectional Meeting, Denver, Colorado, USA, 2022 (Invited talk).
  4. Time Warps, from Algebra to Algorithms, RAMICS 2021, Marseille, France, 2021.

Contact

Address

Universität Bern

Mathematisches Institut (MAI)

Alpeneggstrasse 22

3012 Bern

Schweiz


Email

simon[dot]santschi[at]unibe.ch