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., 2024. Fully evaluated left-sequential logics. arXiv:2403.14576 [cs.LO] (21 March 2024)
• Bergstra, J. A. and Ponse, A., 2023. Conditional logic as a short-circuit logic. arXiv:2304.14821 [cs.LO] (v2: 28 September 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)
• Bergstra, J. A., Ponse, A., and Staudt, D. J. C., 2021. Non-commutative propositional logic with short-circuit evaluation. Journal of Applied Non-Classical Logics, 31(3-4), 234-278 (published online: 19 Dec 2021), https://doi.org/10.1080/11663081.2021.2010954