arXiv cs.AI
· Papers
Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility
arXiv:2608.07476v1 Announce Type: new Abstract: We develop a formal framework for constructing canonical interpretations from plural structure theories. A structure theory is a triple T = ({Sigma}, A, I) consisting of a signature, axioms, and an inference policy, whose admissible interpretation family collects all glo