{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:PZOSRU6HA5LU3GBLCQEEL5MTOS","short_pith_number":"pith:PZOSRU6H","canonical_record":{"source":{"id":"1903.02338","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-06T12:28:37Z","cross_cats_sorted":[],"title_canon_sha256":"2ef309bb1c626148815733c398538e2843d01dc3378cadd22d483642fd9c18a3","abstract_canon_sha256":"620b9ad808bcbb0517d94eb8e341e4aac6bc31bc35d860fcbeabadeb1fce85da"},"schema_version":"1.0"},"canonical_sha256":"7e5d28d3c707574d982b140845f59374b9f5783953daf9c821204d1afd663d9b","source":{"kind":"arxiv","id":"1903.02338","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.02338","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1903.02338v3","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.02338","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"PZOSRU6HA5LU","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PZOSRU6HA5LU3GBL","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PZOSRU6H","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:PZOSRU6HA5LU3GBLCQEEL5MTOS","target":"record","payload":{"canonical_record":{"source":{"id":"1903.02338","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-06T12:28:37Z","cross_cats_sorted":[],"title_canon_sha256":"2ef309bb1c626148815733c398538e2843d01dc3378cadd22d483642fd9c18a3","abstract_canon_sha256":"620b9ad808bcbb0517d94eb8e341e4aac6bc31bc35d860fcbeabadeb1fce85da"},"schema_version":"1.0"},"canonical_sha256":"7e5d28d3c707574d982b140845f59374b9f5783953daf9c821204d1afd663d9b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:32.772141Z","signature_b64":"1PiyZQVVmnsKo+ddKuYudgjmnkDBhRSCVc8toLGQ2XhcL3uifohD5OussJpeP7ahZ5kBK9LRgKKFH/45X6dHDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e5d28d3c707574d982b140845f59374b9f5783953daf9c821204d1afd663d9b","last_reissued_at":"2026-05-17T23:49:32.771668Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:32.771668Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.02338","source_version":3,"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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g+h9sDq0X0kDhU1P7QvvKV9zkm5cJ6wC26P6GWUGVMseTvKWRgRo8e+OLy6lmXfiZxLrpDDJCeO9eX5iKodfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T15:52:03.213066Z"},"content_sha256":"4cc710e31971decfe7a57a2ddfca3dde150c41baf02b1b05d94b9ae3f8106017","schema_version":"1.0","event_id":"sha256:4cc710e31971decfe7a57a2ddfca3dde150c41baf02b1b05d94b9ae3f8106017"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:PZOSRU6HA5LU3GBLCQEEL5MTOS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What is a logical theory? On theories containing assertions and denials","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Carlos Caleiro, Carolina Blasio, Jo\\~ao Marcos","submitted_at":"2019-03-06T12:28:37Z","abstract_excerpt":"The standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by allowing one to take both assertions and denials on a par. This novel notion of theory is based o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.02338","kind":"arxiv","version":3},"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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qho3HL+MavRRxRI7RSWdUyzLoAFWPT9IuZq+0TZhiQ0GHTwOVNpZS1K+xnfuxFJWxCihhhfUsZV86gfNpvayBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T15:52:03.213746Z"},"content_sha256":"5165a61624ac28708990f70ed9cac38907d8416022666d02d1542ea8ce31930a","schema_version":"1.0","event_id":"sha256:5165a61624ac28708990f70ed9cac38907d8416022666d02d1542ea8ce31930a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/bundle.json","state_url":"https://pith.science/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/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-11T15:52:03Z","links":{"resolver":"https://pith.science/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS","bundle":"https://pith.science/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/bundle.json","state":"https://pith.science/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PZOSRU6HA5LU3GBLCQEEL5MTOS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PZOSRU6HA5LU3GBLCQEEL5MTOS","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":"620b9ad808bcbb0517d94eb8e341e4aac6bc31bc35d860fcbeabadeb1fce85da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-06T12:28:37Z","title_canon_sha256":"2ef309bb1c626148815733c398538e2843d01dc3378cadd22d483642fd9c18a3"},"schema_version":"1.0","source":{"id":"1903.02338","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.02338","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1903.02338v3","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.02338","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"PZOSRU6HA5LU","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PZOSRU6HA5LU3GBL","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PZOSRU6H","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:5165a61624ac28708990f70ed9cac38907d8416022666d02d1542ea8ce31930a","target":"graph","created_at":"2026-05-17T23:49:32Z","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 standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by allowing one to take both assertions and denials on a par. This novel notion of theory is based o","authors_text":"Carlos Caleiro, Carolina Blasio, Jo\\~ao Marcos","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-06T12:28:37Z","title":"What is a logical theory? On theories containing assertions and denials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.02338","kind":"arxiv","version":3},"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:4cc710e31971decfe7a57a2ddfca3dde150c41baf02b1b05d94b9ae3f8106017","target":"record","created_at":"2026-05-17T23:49:32Z","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":"620b9ad808bcbb0517d94eb8e341e4aac6bc31bc35d860fcbeabadeb1fce85da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-06T12:28:37Z","title_canon_sha256":"2ef309bb1c626148815733c398538e2843d01dc3378cadd22d483642fd9c18a3"},"schema_version":"1.0","source":{"id":"1903.02338","kind":"arxiv","version":3}},"canonical_sha256":"7e5d28d3c707574d982b140845f59374b9f5783953daf9c821204d1afd663d9b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e5d28d3c707574d982b140845f59374b9f5783953daf9c821204d1afd663d9b","first_computed_at":"2026-05-17T23:49:32.771668Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:32.771668Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1PiyZQVVmnsKo+ddKuYudgjmnkDBhRSCVc8toLGQ2XhcL3uifohD5OussJpeP7ahZ5kBK9LRgKKFH/45X6dHDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:32.772141Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.02338","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cc710e31971decfe7a57a2ddfca3dde150c41baf02b1b05d94b9ae3f8106017","sha256:5165a61624ac28708990f70ed9cac38907d8416022666d02d1542ea8ce31930a"],"state_sha256":"051e42e6aac8537a8fa771cb628107884ce28f6f707218f4e1c518cfc01f4517"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GyJ3IBx0WsMEML+ua+/u4RZbVuOND51B8hP1JsBzPq8l9shaZcOlj3xuE7GNWB32gy1G0FpHTvjliX6IDrcuDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T15:52:03.217513Z","bundle_sha256":"8b6e8402b578fad9b9a16a280926ce29c712adcb587194e570b1a2d3290416d2"}}