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).
About me
Publications
- Semilinear idempotent distributive ℓ-monoids. Journal of Pure and Applied Algebra 228(6) (2024).
- 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.
- From distributive ℓ-monoids to ℓ-groups, and back again (with A. Colacito, N. Galatos, and G. Metcalfe). Journal of Algebra 601 (2022), 129–148.
- 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
- Interpolation in Hájek's Basic Logic (with W. Fussner). (arXiv Preprint)
- Equational theories of idempotent semifields (with G. Metcalfe). (arXiv Preprint)
- Interpolation and the Exchange Rule (with W. Fussner and G. Metcalfe). (arXiv Preprint)
- Interpolation in Linear Logic and Related Systems (with W. Fussner). Submitted. (arXiv Preprint)
Recent talks
- Interpolation in Substructural Logics I: Logics with Exchange, MOSAIC 2023, Vienna, Austria, 2023.
- Semilinear idempotent distributive l-monoids, TACL 2022, Coimbra, Portugal, 2022.
- Time Warps, Special Session on Algebraic Logic of the AMS Spring Western Virtual Sectional Meeting, Denver, Colorado, USA, 2022 (Invited talk).
- Time Warps, from Algebra to Algorithms, RAMICS 2021, Marseille, France, 2021.
Contact
Address
Universität Bern Mathematisches Institut (MAI)
Alpeneggstrasse 22
3012 Bern
Schweiz
simon[dot]santschi[at]unibe.ch