AI RESEARCH
THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
arXiv CS.AI
•
ArXi:2604.11284v1 Announce Type: cross We present THEIA, a modular neural architecture that learns complete Kleene three-valued logic (K3) end-to-end without any external symbolic solver, and investigate what architectural prior enables compositional generalization under uncertainty. THEIA processes four mathematical domains (arithmetic, order, set membership, propositional logic) through dedicated engines that converge in a final logic module.