Tag
This paper presents a formal framework for constructing canonical interpretations from plural structure theories, motivated by structural failures in LLM-assisted reasoning. It distinguishes types of non-determinism and provides conditions for licensed canonicalization, without establishing full determinization for all cases.