Extending computational trinitarianism
Journal
Logic Journal of the IGPL
ISSN
1368-9894
Publisher
Oxford University Press
Date Issued
2026
Type
text::journal::journal article
Abstract
Computational trinitarianism is the view that a single notion of computation has three different manifestations: in logic as proofs, in typed-calculus as programs, and in category theory as morphisms. This idea has traditionally been closely associated with intuitionistic logic but here we argue that the connection is not exclusive. We provide a logician friendly, self-contained introduction to this topic by presenting the trinities for linear, affine, and relevant logic. The ground we set for that goal is then used to show how to obtain paraconsistent trinities by including the De Morgan negation. ©The author © Oxford University Press.
License
Acceso Abierto
How to cite
Cano-Jorge, F. (2026). Extending computational trinitarianism. Logic Journal of the IGPL, 34(4). https://doi.org/10.1093/jigpal/jzag037