Simon Santschi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Amalgamation in semilinear residuated lattices Studia Logica	2026-03-12	Paper
Axiomatizing small varieties of periodic -pregroups Journal of Algebra	2026-02-17	Paper
Interpolation in Hájek's basic logic Annals of Pure and Applied Logic	2025-07-27	Paper
Equational theories of idempotent semifields Bulletin of the London Mathematical Society	2025-03-18	Paper
Interpolation in linear logic and related systems ACM Transactions on Computational Logic	2024-11-12	Paper
Deciding Equations in the Time Warp Algebra Logical Methods in Computer Science	2024-03-11	Paper
Semilinear idempotent distributive \(\ell\)-monoids Journal of Pure and Applied Algebra	2024-02-23	Paper
Interpolation and the Exchange Rule	2023-10-23	Paper
Interpolation in Linear Logic and Related Systems	2023-05-08	Paper
Time warps, from algebra to algorithms (available as arXiv preprint)	2023-03-30	Paper
From distributive -monoids to -groups, and back again Journal of Algebra	2022-04-06	Paper
Time Warps, from Algebra to Algorithms (available as arXiv preprint)	2021-06-11	Paper
From distributive l-monoids to l-groups, and back again (available as arXiv preprint)	2021-02-27	Paper
Deciding Equations in the Time Warp Algebra (available as arXiv preprint)	N/A	Paper
Equational theories of idempotent semifields (available as arXiv preprint)	N/A	Paper
Interpolation in H\'ajek's Basic Logic (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Simon Santschi