Loo, J.P., ‘Paraconsistent absolute generality’, thesis (masters in computer science and philosophy), Oxford, 2024.thesis · https://joshualoo.net/uploads/pag.pdf