{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:UX2KMESGEEOURGGIJ2UP2VOLMG","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f37ac83bda6d2c02bc8bbacdb66a9238c27bf58bb53b32614bd41983bb2a6126","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-17T13:51:55Z","title_canon_sha256":"357ed93d80eb2cb22ee5a73365ee81e4e9e3a169ce879794680bf7e75a257e1a"},"schema_version":"1.0","source":{"id":"2203.09321","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.09321","created_at":"2026-07-05T04:06:10Z"},{"alias_kind":"arxiv_version","alias_value":"2203.09321v1","created_at":"2026-07-05T04:06:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.09321","created_at":"2026-07-05T04:06:10Z"},{"alias_kind":"pith_short_12","alias_value":"UX2KMESGEEOU","created_at":"2026-07-05T04:06:10Z"},{"alias_kind":"pith_short_16","alias_value":"UX2KMESGEEOURGGI","created_at":"2026-07-05T04:06:10Z"},{"alias_kind":"pith_short_8","alias_value":"UX2KMESG","created_at":"2026-07-05T04:06:10Z"}],"graph_snapshots":[{"event_id":"sha256:b6b538fd59e8e2784a01dc6573d36e468d8d5fbfc3cbecd159d3ca4054572509","target":"graph","created_at":"2026-07-05T04:06:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2203.09321/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used, with left-sequential conjunction and disjunction as primitive connectives. We consider left-sequential, non-commutative propositional logic, also known as MSCL (memorising short-circuit logic), and start from a previously published, equational axiomatisation. First, we extend this logic with a left-sequential version of the biconditional","authors_text":"Alban Ponse, Dalia Papuc","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-17T13:51:55Z","title":"Non-commutative propositional logic with short-circuited biconditional and NAND"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.09321","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1e6d2831887421520821cb6dafe2f5727e55958e2a51a9a3a2ccc739e5e63e42","target":"record","created_at":"2026-07-05T04:06:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f37ac83bda6d2c02bc8bbacdb66a9238c27bf58bb53b32614bd41983bb2a6126","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-17T13:51:55Z","title_canon_sha256":"357ed93d80eb2cb22ee5a73365ee81e4e9e3a169ce879794680bf7e75a257e1a"},"schema_version":"1.0","source":{"id":"2203.09321","kind":"arxiv","version":1}},"canonical_sha256":"a5f4a61246211d4898c84ea8fd55cb618d1757e4af7e2ccb703498584a2d1f2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5f4a61246211d4898c84ea8fd55cb618d1757e4af7e2ccb703498584a2d1f2d","first_computed_at":"2026-07-05T04:06:10.061092Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:06:10.061092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b1MtosjpodX2BkkBbGsfGrvpw3MGonEgdz/cB1qk1FFZNg9ey2SJxPcCchb99iKG6iIQG8p87xiHg/b3SezgAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:06:10.061613Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.09321","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e6d2831887421520821cb6dafe2f5727e55958e2a51a9a3a2ccc739e5e63e42","sha256:b6b538fd59e8e2784a01dc6573d36e468d8d5fbfc3cbecd159d3ca4054572509"],"state_sha256":"1c88f031ddaa53239a4ea121e7c4050d26e3f4db3fbba8da620a138676c7eee4"}