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:
- Ponse, A. and Staudt, D.J.C. (2025). Fully Evaluated Left-Sequential Logics. Journal of Applied Non-Classical Logics, Published online: 19 Oct 2025 (53 pages).
- 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.
- Papuc, D. and Ponse, A. (2022). Non-commutative propositional logic with short-circuited biconditional and NAND. arXiv:2203.09321 [cs.LO] (17 March 2022).
