Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra

arXiv:2604.20891v1 Announce Type: cross Abstract: Memristive crossbars store numerical weights requiring aggregation and decoding; a single junction holds no meaning in isolation. This paper proposes a fundamentally different approach: each junction stores a complete, domain-scoped logical assertion (valid/negated/undefined). Ternary resistance states encode these values directly. We establish a structure-preserving mapping from domain algebra to crossbar topology: domains become isolated arrays, specialization becomes directed wiring, relation typing governs inheritance gates, and cross-domain connections become explicit registers. The physical layout thus embodies the algebra; altering the wiring changes the reasoning semantics. We detail an ICD-11 respiratory disease classification chip (1,247 entities, ~136k 1T1R junctions) enabling domain scoping, three-valued logic, transitive cascade, typed inheritance, and cross-axis queries. Behavioral simulation (sigma_log=0.15, SNR=20dB) demonstrates error-free operation across 100,000 trials per task with wide tolerance margins. While prior work unified representation and computation in software, this work unifies them in hardware: reading one junction answers one question, without symbolic interpretation.

arXiv:2604.20891v1 Announce Type: cross Abstract: Memristive crossbars store numerical weights needing aggregation and decoding; a single junction means nothing alone. This paper presents a fundamentally different use: each junction stores a complete, domain-scoped logical assertion (holds/negated/undefined). Ternary resistance states encode these values directly. We establish a structure-preserving mapping from a domain algebra to crossbar topology: domains become isolated arrays, specialization becomes directed wiring, relation typing controls inheritance gates, and cross-domain links become explicit registers. The physical layout thus embodies the algebra; changing wiring changes reasoning semantics. We detail an ICD-11 respiratory disease classification chip (1,247 entities, ~136k 1T1R junctions) enabling domain scoping, three-valued logic, transitive cascade, typed inheritance, and cross-axis queries. Behavioral simulation (sigma_log=0.15, SNR=20dB) shows error-free operation across 100,000 trials per task with wide tolerance margins. Where prior work unified representation and computation in software, this work unifies them in hardware: reading one junction answers one question, without symbolic interpretation.