{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:323OSJ6SPPJ4H7E4ISBNRQZYUK","short_pith_number":"pith:323OSJ6S","schema_version":"1.0","canonical_sha256":"deb6e927d27bd3c3fc9c4482d8c338a2ad424a5377a2aec9246bbc1242f30186","source":{"kind":"arxiv","id":"1810.02929","version":1},"attestation_state":"computed","paper":{"title":"System Consequence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert E. Kent","submitted_at":"2018-10-06T03:47:11Z","abstract_excerpt":"This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. The theory of institutions is abstract model theory. A system is a collection of interconnected parts, where the whole may have properties that cannot be known from an analysis of the constituent parts in isolation. In an information system, the parts represent information resources and the interconnections represent constraints between the parts. Sy"},"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.02929","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-06T03:47:11Z","cross_cats_sorted":[],"title_canon_sha256":"4679af6148308cfb45fcc1afd9f2f5bd36e553c110647d24e20e268bfb9973cb","abstract_canon_sha256":"8c6b75d1966803604f103696bebbbfba7ddaa3c834d681721b98b090eac4eb08"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:55.112824Z","signature_b64":"kYfvaqREHE+Z+qCgwb3KxJmR+VbKOxj+ZJ7SskPNoRKXzFINBLP6eOaEBy5obnpYVQn/PH2MCBC8y89nZUsgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"deb6e927d27bd3c3fc9c4482d8c338a2ad424a5377a2aec9246bbc1242f30186","last_reissued_at":"2026-05-18T00:03:55.112385Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:55.112385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"System Consequence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert E. Kent","submitted_at":"2018-10-06T03:47:11Z","abstract_excerpt":"This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. The theory of institutions is abstract model theory. A system is a collection of interconnected parts, where the whole may have properties that cannot be known from an analysis of the constituent parts in isolation. In an information system, the parts represent information resources and the interconnections represent constraints between the parts. Sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.02929","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.02929","created_at":"2026-05-18T00:03:55.112453+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.02929v1","created_at":"2026-05-18T00:03:55.112453+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.02929","created_at":"2026-05-18T00:03:55.112453+00:00"},{"alias_kind":"pith_short_12","alias_value":"323OSJ6SPPJ4","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_16","alias_value":"323OSJ6SPPJ4H7E4","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_8","alias_value":"323OSJ6S","created_at":"2026-05-18T12:32:02.567920+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/323OSJ6SPPJ4H7E4ISBNRQZYUK","json":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK.json","graph_json":"https://pith.science/api/pith-number/323OSJ6SPPJ4H7E4ISBNRQZYUK/graph.json","events_json":"https://pith.science/api/pith-number/323OSJ6SPPJ4H7E4ISBNRQZYUK/events.json","paper":"https://pith.science/paper/323OSJ6S"},"agent_actions":{"view_html":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK","download_json":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK.json","view_paper":"https://pith.science/paper/323OSJ6S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.02929&json=true","fetch_graph":"https://pith.science/api/pith-number/323OSJ6SPPJ4H7E4ISBNRQZYUK/graph.json","fetch_events":"https://pith.science/api/pith-number/323OSJ6SPPJ4H7E4ISBNRQZYUK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK/action/storage_attestation","attest_author":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK/action/author_attestation","sign_citation":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK/action/citation_signature","submit_replication":"https://pith.science/pith/323OSJ6SPPJ4H7E4ISBNRQZYUK/action/replication_record"}},"created_at":"2026-05-18T00:03:55.112453+00:00","updated_at":"2026-05-18T00:03:55.112453+00:00"}