{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:Q7KWTGN7OSYWKBKNHRBKH6PE5I","short_pith_number":"pith:Q7KWTGN7","schema_version":"1.0","canonical_sha256":"87d56999bf74b165054d3c42a3f9e4ea3bcd5510459bf137e274e0ef7e906dc6","source":{"kind":"arxiv","id":"1905.05496","version":1},"attestation_state":"computed","paper":{"title":"Residuation in lattice effect algebras","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":"2019-05-14T10:11:24Z","abstract_excerpt":"We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a lattice effect algebra and every lattice effct algebra can be reconstructed form its assigned quasiresiduated lattice. We apply this method also for lattice pseudoeffect algebras introduced recently by Dvurecenskij and Vetterlein. We show that every good lattice pseudoeffect algebra can be organized into a (possibly non-commutative) quasiresiduated lattice wi"},"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":"1905.05496","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-14T10:11:24Z","cross_cats_sorted":[],"title_canon_sha256":"9743d65a62d06e243d47cbd99c54d1630aa9a8e9153208ed5264e7b4ceafa5ea","abstract_canon_sha256":"2cf5e194dcc355125c4226d53b55323dc6b96103179d5cd53d2a5cf856ba59e3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:16.311935Z","signature_b64":"IcDnkY7Nu34pv3RjXyp7FvTzuoAt7aC9hvzpLnAQ2+LgOyfeJ34ZEFcOUTjPtk4eik1UGoHShvZ06gKgplLyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87d56999bf74b165054d3c42a3f9e4ea3bcd5510459bf137e274e0ef7e906dc6","last_reissued_at":"2026-05-17T23:46:16.311327Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:16.311327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Residuation in lattice effect algebras","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":"2019-05-14T10:11:24Z","abstract_excerpt":"We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a lattice effect algebra and every lattice effct algebra can be reconstructed form its assigned quasiresiduated lattice. We apply this method also for lattice pseudoeffect algebras introduced recently by Dvurecenskij and Vetterlein. We show that every good lattice pseudoeffect algebra can be organized into a (possibly non-commutative) quasiresiduated lattice wi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05496","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":"1905.05496","created_at":"2026-05-17T23:46:16.311414+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.05496v1","created_at":"2026-05-17T23:46:16.311414+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05496","created_at":"2026-05-17T23:46:16.311414+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q7KWTGN7OSYW","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q7KWTGN7OSYWKBKN","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q7KWTGN7","created_at":"2026-05-18T12:33:27.125529+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1907.02738","citing_title":"Unsharp residuation in effect algebras","ref_index":6,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I","json":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I.json","graph_json":"https://pith.science/api/pith-number/Q7KWTGN7OSYWKBKNHRBKH6PE5I/graph.json","events_json":"https://pith.science/api/pith-number/Q7KWTGN7OSYWKBKNHRBKH6PE5I/events.json","paper":"https://pith.science/paper/Q7KWTGN7"},"agent_actions":{"view_html":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I","download_json":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I.json","view_paper":"https://pith.science/paper/Q7KWTGN7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.05496&json=true","fetch_graph":"https://pith.science/api/pith-number/Q7KWTGN7OSYWKBKNHRBKH6PE5I/graph.json","fetch_events":"https://pith.science/api/pith-number/Q7KWTGN7OSYWKBKNHRBKH6PE5I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I/action/storage_attestation","attest_author":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I/action/author_attestation","sign_citation":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I/action/citation_signature","submit_replication":"https://pith.science/pith/Q7KWTGN7OSYWKBKNHRBKH6PE5I/action/replication_record"}},"created_at":"2026-05-17T23:46:16.311414+00:00","updated_at":"2026-05-17T23:46:16.311414+00:00"}