I am a postdoctoral fellow in the LogICS group at the Institute of Computer Science of the Czech Academy of Sciences in Prague, funded by an SNSF Postdoc.Mobility grant. I am a member of the Metalogic Group lead by Wesley Fussner.

I am broadly interested in logic and general algebra with a focus on algebraic logic and ordered algebraic structures, but I am also interested in other approaches to logic such as proof theory and relational semantics.

I obtained my PhD degree in Mathematics from the University of Bern in June 2026 under the supervision of George Metcalfe.

1. Interpolation and the Exchange Rule (with W. Fussner and G. Metcalfe). The Journal of Symbolic Logic (2026)
2. Axiomatizing small varieties of periodic ℓ-pregroups (with N. Galatos). Journal of Algebra 688 (2026), 755–802.
3. Amalgamation in Semilinear Residuated Lattices (with W. Fussner). Studia Logica 114, 103–144 (2026).
4. Interpolation in Hájek's Basic Logic (with W. Fussner). Annals of Pure and Applied Logic 176(9) (2025).
5. Equational theories of idempotent semifields (with G. Metcalfe). Bulletin of the London Mathematical Society, 57: 771-785. (2025). (arXiv Preprint)
6. Interpolation in Linear Logic and Related Systems (with W. Fussner). ACM Transactions on Computational Logic, 25, 4, Article 20, (2024). (arXiv Preprint)
7. Semilinear idempotent distributive ℓ-monoids. Journal of Pure and Applied Algebra 228(6) (2024).
8. 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.
9. From distributive ℓ-monoids to ℓ-groups, and back again (with A. Colacito, N. Galatos, and G. Metcalfe). Journal of Algebra 601 (2022), 129–148.

1. Interpolation above S4 (Extended Abstract) (with N. C. Vooijs). CI-BD-SOQE 2026, CEUR-WS 4228, CEUR (2026), 59-65.
2. Logics Containing wK4: Selection à la Fine (with N. C. Vooijs). Proc. AiML 2026, EPTCS 447, Open Publishing Association (2026), 674-690.
3. 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. The space of preorders on a commutative monoid (with J. Draisma and G. Metcalfe). Submitted. (arXiv Preprint)
2. Interpolation above S4 (with N. C. Vooijs). (arXiv Preprint)
3. Residuated lattices do not have the amalgamation property (with P. Jipsen). Submitted. (arXiv Preprint)
4. Algebraic Proof Theory for Infinitary Action Logic (with W. Fussner and B. Sierra Miranda). (arXiv Preprint)

• Amalgamation in varieties of residuated lattices. PhD Thesis, University of Bern, 2026.

1. Between amalgamation and interpolation, Metalogic Workshop, Prague, Czechia, 2026.
2. Varieties of distributive l-pregroups, TACL 2026, Kraków, Poland, 2026.
3. Amalgamation in varieties of residuated lattices, Algebra Week 2025, Siena, Italy, 2025 (Invited talk).
4. Axiomatizing small varieties of periodic ℓ-pregroups, LATD 2025, Siena, Italy, 2025.
5. Right-orders on Free Groups, RAMICS 2024, Prague, Czechia, 2024.
6. Three Theorems on Idempotent Semifields, TACL 2024, Barcelona, Spain, 2024.
7. Interpolation in Substructural Logics I: Logics with Exchange, MOSAIC 2023, Vienna, Austria, 2023.
8. Semilinear idempotent distributive l-monoids, TACL 2022, Coimbra, Portugal, 2022.
9. Time Warps, Special Session on Algebraic Logic of the AMS Spring Western Virtual Sectional Meeting, Denver, Colorado, USA, 2022 (Invited talk).
10. Time Warps, from Algebra to Algorithms, RAMICS 2021, Marseille, France, 2021.

• arXiv: https://arxiv.org/a/santschi_s_1.html
• ORCID: https://orcid.org/0009-0003-9364-5149

Address

Ústav informatiky AV ČR

Pod Vodárenskou věží 271/22

182 00 Praha 8

Czechia

Email

santschi[at]cs[dot]cas[dot]cz