TY - RPRT TI - On the (Intuitionistic) Logic of Next-Token Prediction AU - Paul Tarau PY - 2026 DO - 10.4204/eptcs.450.4 UR - https://arxiv.org/abs/2608.08145 ID - 2608.08145 ER -