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:

• Bergstra, J.A. and Ponse, A. (2025). Fracterm Calculus for Partial Meadows. arXiv:2502.13812v1 [cs.LO] (19 Feb 2025)
• Ponse, A. and Staudt, D. J. C. (2025). Fully evaluated left-sequential logics. arXiv:2403.14576v2 [cs.LO] (v1: 21 Mar 2024)
• Bergstra, J.A. and Ponse, A. (2025). Conditional logic as a short-circuit logic. arXiv:2304.14821v3 [cs.LO] (v2: 28 Sep 2023)
• Papuc, D. and Ponse, A. (2022). Non-commutative propositional logic with short-circuited biconditional and NAND. arXiv:2203.09321 [cs.LO] (17 March 2022)