Memristive Crossbar Implements Ternary Logic for Reasoning

A recent study published on arXiv suggests the implementation of memristive crossbars for ternary logic applications rather than for numerical weight storage. Each junction represents a domain-specific logical assertion (true/false/undefined) through three resistance states. The authors create a structure-preserving correspondence between domain algebra and crossbar design: domains turn into isolated arrays, specialization is represented by directed connections, relation typing governs inheritance gates, and cross-domain connections are defined as explicit registers. The physical arrangement reflects the algebra; modifications in wiring alter reasoning semantics. They describe an ICD-11 respiratory disease classification chip featuring 1,247 entities and approximately 136k 1T1R junctions, facilitating domain scoping, three-valued logic, transitive cascades, typed inheritance, and cross-axis queries. Behavioral simulations (sigma_log=0.15, SNR=20dB) demonstrate flawless operation.