Since May 2022, I am a guest researcher at the TCS group of the Informatics Institute, Faculty of Science, University of Amsterdam (UvA)

Most recent papers:

• Ponse, A. and Staudt, D. J. C. (2025). Fully Evaluated Left-Sequential Logics. Journal of Applied Non-Classical Logics. PDF (53 pages). Published online: 19 Oct 2025, doi: 10.1080/11663081.2025.2573569.
• Bergstra, J. A. and Ponse, A. (2025). Fracterm Calculus for Partial Meadows. arXiv:2502.13812v2 [cs.LO] (7 Oct 2025). PDF (27 pages).
• Bergstra, J. A. and Ponse, A. (2025). Conditional Logic as a Short-Circuit Logic. Scientific Annals of Computer Science, 35(2):161-196. PDF (36 pages), doi: 10.47743/SACS.2025.2.161.
• Papuc, D. and Ponse, A. (2022). Non-commutative propositional logic with short-circuited biconditional and NAND. arXiv:2203.09321 [cs.LO] (17 March 2022). PDF (21 pages).