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).

1. Interpolation in Hájek's Basic Logic (with W. Fussner). Annals of Pure and Applied Logic 176(9) (2025).
2. Equational theories of idempotent semifields (with G. Metcalfe). Bulletin of the London Mathematical Society, 57: 771-785. (2025). (arXiv Preprint)
3. Interpolation in Linear Logic and Related Systems (with W. Fussner). ACM Transactions on Computational Logic, 25, 4, Article 20, (2024).
4. Semilinear idempotent distributive ℓ-monoids. Journal of Pure and Applied Algebra 228(6) (2024).
5. 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.
6. From distributive ℓ-monoids to ℓ-groups, and back again (with A. Colacito, N. Galatos, and G. Metcalfe). Journal of Algebra 601 (2022), 129–148.
7. 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)

1. Residuated lattices do not have the amalgamation property (with P. Jipsen). (arXiv Preprint)
2. Axiomatizing small varieties of periodic l-pregroups (with N. Galatos). Submitted. (arXiv Preprint)
3. Algebraic Proof Theory for Infinitary Action Logic (with W. Fussner and B. Sierra Miranda). (arXiv Preprint)
4. Amalgamation in Semilinear Residuated Lattices (with W. Fussner). Submitted. (arXiv Preprint)
5. Interpolation and the Exchange Rule (with W. Fussner and G. Metcalfe). Submitted. (arXiv Preprint)

1. Right-orders on Free Groups, RAMICS 2024, Prague, Czechia, 2024.
2. Three Theorems on Idempotent Semifields, TACL 2024, Barcelona, Spain, 2024.
3. Interpolation in Substructural Logics I: Logics with Exchange, MOSAIC 2023, Vienna, Austria, 2023.
4. Semilinear idempotent distributive l-monoids, TACL 2022, Coimbra, Portugal, 2022.
5. Time Warps, Special Session on Algebraic Logic of the AMS Spring Western Virtual Sectional Meeting, Denver, Colorado, USA, 2022 (Invited talk).
6. Time Warps, from Algebra to Algorithms, RAMICS 2021, Marseille, France, 2021.

Address

Universität Bern

Mathematisches Institut (MAI)

Alpeneggstrasse 22

3012 Bern

Schweiz

Email

simon[dot]santschi[at]unibe.ch