{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:N45KEUWGL346SVZUB3MM2NLOFC","short_pith_number":"pith:N45KEUWG","canonical_record":{"source":{"id":"1810.07214","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-16T18:14:29Z","cross_cats_sorted":[],"title_canon_sha256":"f121d34f83de02db0c0f56046c711dea9f64bd4f18c46a69172040499b573a82","abstract_canon_sha256":"7aac2c9d6520824d9b96d6c53bc4a9099559c3c4f81cc845dfa536f09c6addb6"},"schema_version":"1.0"},"canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","source":{"kind":"arxiv","id":"1810.07214","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.07214","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1810.07214v1","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07214","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"N45KEUWGL346","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"N45KEUWGL346SVZU","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"N45KEUWG","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:N45KEUWGL346SVZUB3MM2NLOFC","target":"record","payload":{"canonical_record":{"source":{"id":"1810.07214","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-16T18:14:29Z","cross_cats_sorted":[],"title_canon_sha256":"f121d34f83de02db0c0f56046c711dea9f64bd4f18c46a69172040499b573a82","abstract_canon_sha256":"7aac2c9d6520824d9b96d6c53bc4a9099559c3c4f81cc845dfa536f09c6addb6"},"schema_version":"1.0"},"canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:59.172884Z","signature_b64":"1lA9VwQBIWnDS5o0GW0tLs3iqGYk3ju6HMI7fDkSuiio5YXuMjyPZ6tbob8czxvf2BQwRGYG1SWKFX3mEV71CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","last_reissued_at":"2026-05-18T00:02:59.172063Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:59.172063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.07214","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7BcbefC8+cLAbwCAgYbZ9K39T+M9TfHd+TTUxhVfoLvrn2WuzyuoizwW/oys96kfkbSfsSCDnrbWNeIwcuofBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T10:11:11.676533Z"},"content_sha256":"8921d2b27070e7213a3d68a759ff435f2211281fc18d94396bced513dd2e4df0","schema_version":"1.0","event_id":"sha256:8921d2b27070e7213a3d68a759ff435f2211281fc18d94396bced513dd2e4df0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:N45KEUWGL346SVZUB3MM2NLOFC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Left residuated operators induced by posets with a unary operation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Helmut L\\\"anger, Ivan Chajda","submitted_at":"2018-10-16T18:14:29Z","abstract_excerpt":"The concept of operator left residuation has been introduced by the authors in a previous paper. Modifications of so-called quantum structures, in particular orthomodular posets, like pseudo-orthomodular, pseudo-Boolean and Boolean posets are investigated here in order to show that they are operator left residuated or even operator residuated. In fact they satisfy more general sufficient conditions for operator residuation assumed for bounded posets equipped with a unary operation. It is shown that these conditions may be also necessary if a generalized version using subsets instead of single "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.07214","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tal1m/Old4BUKQxVP1Xp0hIsHiKjV/LSwEW0sE3V4RcKY2ubRVedF4tzMmjZy7vDNooBCOys+W78YjTtrv8AAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T10:11:11.676882Z"},"content_sha256":"4edbaf7d080fdf0001e2ffc96070e96ca295979f22faf1667dea188dafa9a215","schema_version":"1.0","event_id":"sha256:4edbaf7d080fdf0001e2ffc96070e96ca295979f22faf1667dea188dafa9a215"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/bundle.json","state_url":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N45KEUWGL346SVZUB3MM2NLOFC/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-12T10:11:11Z","links":{"resolver":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC","bundle":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/bundle.json","state":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N45KEUWGL346SVZUB3MM2NLOFC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:N45KEUWGL346SVZUB3MM2NLOFC","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":"7aac2c9d6520824d9b96d6c53bc4a9099559c3c4f81cc845dfa536f09c6addb6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-16T18:14:29Z","title_canon_sha256":"f121d34f83de02db0c0f56046c711dea9f64bd4f18c46a69172040499b573a82"},"schema_version":"1.0","source":{"id":"1810.07214","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.07214","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1810.07214v1","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07214","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"N45KEUWGL346","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"N45KEUWGL346SVZU","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"N45KEUWG","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:4edbaf7d080fdf0001e2ffc96070e96ca295979f22faf1667dea188dafa9a215","target":"graph","created_at":"2026-05-18T00:02:59Z","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"},"paper":{"abstract_excerpt":"The concept of operator left residuation has been introduced by the authors in a previous paper. Modifications of so-called quantum structures, in particular orthomodular posets, like pseudo-orthomodular, pseudo-Boolean and Boolean posets are investigated here in order to show that they are operator left residuated or even operator residuated. In fact they satisfy more general sufficient conditions for operator residuation assumed for bounded posets equipped with a unary operation. It is shown that these conditions may be also necessary if a generalized version using subsets instead of single ","authors_text":"Helmut L\\\"anger, Ivan Chajda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-16T18:14:29Z","title":"Left residuated operators induced by posets with a unary operation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.07214","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:8921d2b27070e7213a3d68a759ff435f2211281fc18d94396bced513dd2e4df0","target":"record","created_at":"2026-05-18T00:02:59Z","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":"7aac2c9d6520824d9b96d6c53bc4a9099559c3c4f81cc845dfa536f09c6addb6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-16T18:14:29Z","title_canon_sha256":"f121d34f83de02db0c0f56046c711dea9f64bd4f18c46a69172040499b573a82"},"schema_version":"1.0","source":{"id":"1810.07214","kind":"arxiv","version":1}},"canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","first_computed_at":"2026-05-18T00:02:59.172063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:59.172063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1lA9VwQBIWnDS5o0GW0tLs3iqGYk3ju6HMI7fDkSuiio5YXuMjyPZ6tbob8czxvf2BQwRGYG1SWKFX3mEV71CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:59.172884Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.07214","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8921d2b27070e7213a3d68a759ff435f2211281fc18d94396bced513dd2e4df0","sha256:4edbaf7d080fdf0001e2ffc96070e96ca295979f22faf1667dea188dafa9a215"],"state_sha256":"ba414a40508ee6b73d3d4283c4718ba1ee13282c900d6f85bd989ddb1c395e03"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UN123xLbtDfMJlOANx482DbKNhZ7834DYial46HliVZv4TXy+I8Gfvsat/Fnyq19nMFcf1pOc8Ccaa8tT7HiBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T10:11:11.678816Z","bundle_sha256":"f28679d842810d7b30f05de08decf56175a7864a4885621434f11c015ab87841"}}