Alban Ponse - UvA Homepage
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.13812v2 [cs.LO] (7 Oct 2025).
- Bergstra, J.A. and Ponse, A. (2025). Conditional Logic as a Short-Circuit Logic. Scientific Annals of Computer Science, 35(2):161-196. Online available.
- Ponse, A. and Staudt, D.J.C. (2025). Fully Evaluated Left-Sequential Logics. arXiv:2403.14576v2 [cs.LO] (13 Feb 2025). Revision to appear in J. Appl. Non-Class. Log.
- Papuc, D. and Ponse, A. (2022). Non-commutative propositional logic with short-circuited biconditional and NAND. arXiv:2203.09321 [cs.LO] (17 March 2022)