{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:KDNSQMSEUOOREAMORCL2544TFY","short_pith_number":"pith:KDNSQMSE","schema_version":"1.0","canonical_sha256":"50db283244a39d12018e8897aef3932e11ca24f9afec57f419ea076700f8762f","source":{"kind":"arxiv","id":"1512.05813","version":1},"attestation_state":"computed","paper":{"title":"An Introduction to Effectus Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Abraham Westerbaan, Bart Jacobs, Bas Westerbaan, Kenta Cho","submitted_at":"2015-12-17T22:17:36Z","abstract_excerpt":"Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra structure, like in topos theory, but `characteristic' functions, forming effect algebras. Such effect algebras are algebraic models of quantitative logic, in which double negation holds. Effects in quantum theory and fuzzy predicates in probability theory form examples of effect algebras.\n  This text is an account of the basics of effectus theory. It includes th"},"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":"1512.05813","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T22:17:36Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"2e3690b61bc58b04bb73f5692f49d176bb8c4cde4a0113a1248d0b56e3f7477e","abstract_canon_sha256":"9bfe62818e9b0a21b2653f9649758492d047a925e873885b178a8e2d2db3e718"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:24:06.198803Z","signature_b64":"ci4Wj9Ch/YhalCJAaS1JRJ1rGjvejXPUfj9x7YEGs3ZlG8W68gxOTzg7YhFJZhWYEa9TJK5uDAiSeLzrAYFiDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50db283244a39d12018e8897aef3932e11ca24f9afec57f419ea076700f8762f","last_reissued_at":"2026-05-18T01:24:06.198070Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:24:06.198070Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Introduction to Effectus Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Abraham Westerbaan, Bart Jacobs, Bas Westerbaan, Kenta Cho","submitted_at":"2015-12-17T22:17:36Z","abstract_excerpt":"Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra structure, like in topos theory, but `characteristic' functions, forming effect algebras. Such effect algebras are algebraic models of quantitative logic, in which double negation holds. Effects in quantum theory and fuzzy predicates in probability theory form examples of effect algebras.\n  This text is an account of the basics of effectus theory. It includes th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.05813","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":"1512.05813","created_at":"2026-05-18T01:24:06.198192+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.05813v1","created_at":"2026-05-18T01:24:06.198192+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.05813","created_at":"2026-05-18T01:24:06.198192+00:00"},{"alias_kind":"pith_short_12","alias_value":"KDNSQMSEUOOR","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"KDNSQMSEUOOREAMO","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"KDNSQMSE","created_at":"2026-05-18T12:29:27.538025+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.08604","citing_title":"Quantum-like Cognition in Process Theories: An Analysis","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY","json":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY.json","graph_json":"https://pith.science/api/pith-number/KDNSQMSEUOOREAMORCL2544TFY/graph.json","events_json":"https://pith.science/api/pith-number/KDNSQMSEUOOREAMORCL2544TFY/events.json","paper":"https://pith.science/paper/KDNSQMSE"},"agent_actions":{"view_html":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY","download_json":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY.json","view_paper":"https://pith.science/paper/KDNSQMSE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.05813&json=true","fetch_graph":"https://pith.science/api/pith-number/KDNSQMSEUOOREAMORCL2544TFY/graph.json","fetch_events":"https://pith.science/api/pith-number/KDNSQMSEUOOREAMORCL2544TFY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY/action/storage_attestation","attest_author":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY/action/author_attestation","sign_citation":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY/action/citation_signature","submit_replication":"https://pith.science/pith/KDNSQMSEUOOREAMORCL2544TFY/action/replication_record"}},"created_at":"2026-05-18T01:24:06.198192+00:00","updated_at":"2026-05-18T01:24:06.198192+00:00"}