{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:N45KEUWGL346SVZUB3MM2NLOFC","short_pith_number":"pith:N45KEUWG","schema_version":"1.0","canonical_sha256":"6f3aa252c65ef9e957340ed8cd356e28b0ef7b62e1d24331efac396ed4f63a57","source":{"kind":"arxiv","id":"1810.07214","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.07214","created_at":"2026-05-18T00:02:59.172216+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.07214v1","created_at":"2026-05-18T00:02:59.172216+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07214","created_at":"2026-05-18T00:02:59.172216+00:00"},{"alias_kind":"pith_short_12","alias_value":"N45KEUWGL346","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"N45KEUWGL346SVZU","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"N45KEUWG","created_at":"2026-05-18T12:32:40.477152+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/N45KEUWGL346SVZUB3MM2NLOFC","json":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC.json","graph_json":"https://pith.science/api/pith-number/N45KEUWGL346SVZUB3MM2NLOFC/graph.json","events_json":"https://pith.science/api/pith-number/N45KEUWGL346SVZUB3MM2NLOFC/events.json","paper":"https://pith.science/paper/N45KEUWG"},"agent_actions":{"view_html":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC","download_json":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC.json","view_paper":"https://pith.science/paper/N45KEUWG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.07214&json=true","fetch_graph":"https://pith.science/api/pith-number/N45KEUWGL346SVZUB3MM2NLOFC/graph.json","fetch_events":"https://pith.science/api/pith-number/N45KEUWGL346SVZUB3MM2NLOFC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/action/storage_attestation","attest_author":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/action/author_attestation","sign_citation":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/action/citation_signature","submit_replication":"https://pith.science/pith/N45KEUWGL346SVZUB3MM2NLOFC/action/replication_record"}},"created_at":"2026-05-18T00:02:59.172216+00:00","updated_at":"2026-05-18T00:02:59.172216+00:00"}