{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:SRQFHOUNYNJ2BN6XBZDG6HGZJW","short_pith_number":"pith:SRQFHOUN","schema_version":"1.0","canonical_sha256":"946053ba8dc353a0b7d70e466f1cd94d8cd2f9f1028450476298476cfe9fdec2","source":{"kind":"arxiv","id":"1703.06391","version":1},"attestation_state":"computed","paper":{"title":"Multirole Logic (Extended Abstract)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO","cs.PL"],"primary_cat":"math.LO","authors_text":"Hanwen Wu, Hongwei Xi","submitted_at":"2017-03-19T04:47:19Z","abstract_excerpt":"We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. We formalize both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear logic (CLL), respectively, and also present a filter-based interpretation for intuitionism in multirole logic. Among various meta-properties established for MRL and LMRL, we obtain one named multiparty c"},"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":"1703.06391","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-19T04:47:19Z","cross_cats_sorted":["cs.DC","cs.LO","cs.PL"],"title_canon_sha256":"279daa184f1cc62f459113f6d813ff3c00490cd885c78bff5e9ef1a8d125d070","abstract_canon_sha256":"5b121c3d8be302c5b9663d4df77df1da653f3156904c61bb7b2c2cd7c923d9bb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:23.042884Z","signature_b64":"rER7w7VVbqi0AbJu0hhwDiBMkp3ACnmd2PIoyLMjgVJew9QPopJ29rWqEE+QmFUDV7QJbAGHa2FzYjlpyrmQBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"946053ba8dc353a0b7d70e466f1cd94d8cd2f9f1028450476298476cfe9fdec2","last_reissued_at":"2026-05-18T00:48:23.042226Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:23.042226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Multirole Logic (Extended Abstract)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO","cs.PL"],"primary_cat":"math.LO","authors_text":"Hanwen Wu, Hongwei Xi","submitted_at":"2017-03-19T04:47:19Z","abstract_excerpt":"We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. We formalize both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear logic (CLL), respectively, and also present a filter-based interpretation for intuitionism in multirole logic. Among various meta-properties established for MRL and LMRL, we obtain one named multiparty c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06391","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":"1703.06391","created_at":"2026-05-18T00:48:23.042331+00:00"},{"alias_kind":"arxiv_version","alias_value":"1703.06391v1","created_at":"2026-05-18T00:48:23.042331+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06391","created_at":"2026-05-18T00:48:23.042331+00:00"},{"alias_kind":"pith_short_12","alias_value":"SRQFHOUNYNJ2","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"SRQFHOUNYNJ2BN6X","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"SRQFHOUN","created_at":"2026-05-18T12:31:43.269735+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/SRQFHOUNYNJ2BN6XBZDG6HGZJW","json":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW.json","graph_json":"https://pith.science/api/pith-number/SRQFHOUNYNJ2BN6XBZDG6HGZJW/graph.json","events_json":"https://pith.science/api/pith-number/SRQFHOUNYNJ2BN6XBZDG6HGZJW/events.json","paper":"https://pith.science/paper/SRQFHOUN"},"agent_actions":{"view_html":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW","download_json":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW.json","view_paper":"https://pith.science/paper/SRQFHOUN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1703.06391&json=true","fetch_graph":"https://pith.science/api/pith-number/SRQFHOUNYNJ2BN6XBZDG6HGZJW/graph.json","fetch_events":"https://pith.science/api/pith-number/SRQFHOUNYNJ2BN6XBZDG6HGZJW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW/action/storage_attestation","attest_author":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW/action/author_attestation","sign_citation":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW/action/citation_signature","submit_replication":"https://pith.science/pith/SRQFHOUNYNJ2BN6XBZDG6HGZJW/action/replication_record"}},"created_at":"2026-05-18T00:48:23.042331+00:00","updated_at":"2026-05-18T00:48:23.042331+00:00"}