{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:GAJTPDGUF2WSQVQ5BAZ65XH3LW","short_pith_number":"pith:GAJTPDGU","schema_version":"1.0","canonical_sha256":"3013378cd42ead28561d0833eedcfb5db1b94dd2027257efc0269341fabece8a","source":{"kind":"arxiv","id":"1607.03509","version":1},"attestation_state":"computed","paper":{"title":"Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Francois Dubois, Zeno Toffano","submitted_at":"2016-07-07T06:17:48Z","abstract_excerpt":"We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors. For binary logic using the truth values {0,1} logical observables are pairwise commuting projectors. For the truth values {+1,-1} the operator system is formally equivalent to that of a composite spin 1/2 system, the logical observables being isometries belonging to the Pauli group. Also in this approach fuzzy logic arises naturally when cons"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1607.03509","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-07-07T06:17:48Z","cross_cats_sorted":[],"title_canon_sha256":"3db04c76b3556f8ef4488cde77ae467ba4ed657727a655d26011a024134d53dc","abstract_canon_sha256":"105792a24bde330e2e2deeac145b88d8f6b9c9729ba78ab6bea424763da9d05b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:07.772621Z","signature_b64":"OV6oTkqxQHLg0aI+IxJa4+aHtVHCFNdeKucZahRR/XLX0t8kPefpyCBf/mDuER2/ZvQf63vNxk0W0LtGxWCiDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3013378cd42ead28561d0833eedcfb5db1b94dd2027257efc0269341fabece8a","last_reissued_at":"2026-05-18T01:11:07.772106Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:07.772106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Francois Dubois, Zeno Toffano","submitted_at":"2016-07-07T06:17:48Z","abstract_excerpt":"We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors. For binary logic using the truth values {0,1} logical observables are pairwise commuting projectors. For the truth values {+1,-1} the operator system is formally equivalent to that of a composite spin 1/2 system, the logical observables being isometries belonging to the Pauli group. Also in this approach fuzzy logic arises naturally when cons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03509","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1607.03509","created_at":"2026-05-18T01:11:07.772206+00:00"},{"alias_kind":"arxiv_version","alias_value":"1607.03509v1","created_at":"2026-05-18T01:11:07.772206+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03509","created_at":"2026-05-18T01:11:07.772206+00:00"},{"alias_kind":"pith_short_12","alias_value":"GAJTPDGUF2WS","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"GAJTPDGUF2WSQVQ5","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"GAJTPDGU","created_at":"2026-05-18T12:30:15.759754+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW","json":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW.json","graph_json":"https://pith.science/api/pith-number/GAJTPDGUF2WSQVQ5BAZ65XH3LW/graph.json","events_json":"https://pith.science/api/pith-number/GAJTPDGUF2WSQVQ5BAZ65XH3LW/events.json","paper":"https://pith.science/paper/GAJTPDGU"},"agent_actions":{"view_html":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW","download_json":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW.json","view_paper":"https://pith.science/paper/GAJTPDGU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1607.03509&json=true","fetch_graph":"https://pith.science/api/pith-number/GAJTPDGUF2WSQVQ5BAZ65XH3LW/graph.json","fetch_events":"https://pith.science/api/pith-number/GAJTPDGUF2WSQVQ5BAZ65XH3LW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW/action/storage_attestation","attest_author":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW/action/author_attestation","sign_citation":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW/action/citation_signature","submit_replication":"https://pith.science/pith/GAJTPDGUF2WSQVQ5BAZ65XH3LW/action/replication_record"}},"created_at":"2026-05-18T01:11:07.772206+00:00","updated_at":"2026-05-18T01:11:07.772206+00:00"}