{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XZAGJE7YY6CLDV6GTH4ZT4Y5LN","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":"29bcedfeda505a443fd41d7d90ca3df4083b8f55b6022e2ef76dea76eee91aea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-11T10:00:35Z","title_canon_sha256":"bc5ebfeddd167243e3b2aef3a1d4f0f6cc47b6d6b519478972d4ac297b559a23"},"schema_version":"1.0","source":{"id":"1809.03773","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.03773","created_at":"2026-05-18T00:05:59Z"},{"alias_kind":"arxiv_version","alias_value":"1809.03773v1","created_at":"2026-05-18T00:05:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.03773","created_at":"2026-05-18T00:05:59Z"},{"alias_kind":"pith_short_12","alias_value":"XZAGJE7YY6CL","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XZAGJE7YY6CLDV6G","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XZAGJE7Y","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:c37106c66ef29beeb1b82a7c83b9c9f39de4028256875fd8a204f5ea415861c8","target":"graph","created_at":"2026-05-18T00:05: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":"For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time frame.\n  Tense operators express the quantifiers \"it is always going to be the case that\" and \"it has always been the case that\" and hence enable us to express the dimension of time both in the logic of quantum mechanics and in the many-valued logic.\n  A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a time frame such that eac","authors_text":"Ivan Chajda, Jan Paseka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-11T10:00:35Z","title":"Galois connections and tense operators on q-effect algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.03773","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:91c47498c4b45789c92548d8f5702c67c69d8358470417d2b5111e57093c46be","target":"record","created_at":"2026-05-18T00:05: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":"29bcedfeda505a443fd41d7d90ca3df4083b8f55b6022e2ef76dea76eee91aea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-11T10:00:35Z","title_canon_sha256":"bc5ebfeddd167243e3b2aef3a1d4f0f6cc47b6d6b519478972d4ac297b559a23"},"schema_version":"1.0","source":{"id":"1809.03773","kind":"arxiv","version":1}},"canonical_sha256":"be406493f8c784b1d7c699f999f31d5b532d9ca9e4a0c0fada93c0dcd7dcee98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be406493f8c784b1d7c699f999f31d5b532d9ca9e4a0c0fada93c0dcd7dcee98","first_computed_at":"2026-05-18T00:05:59.857399Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:59.857399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4U+60svTP5OzR3WA7MCZt3lR/W2wnM7a8ue/+96F3ZFxey2Y13IgiEfMK4t11GGe5L3z0BqKkZXLrVvzaph/BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:59.857820Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.03773","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91c47498c4b45789c92548d8f5702c67c69d8358470417d2b5111e57093c46be","sha256:c37106c66ef29beeb1b82a7c83b9c9f39de4028256875fd8a204f5ea415861c8"],"state_sha256":"f82881ca1b8bd06233e76ab20362f387331c255c9e97fe7583a0b6e006963ded"}