{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OKRSCU3E2SBG34ZWMFKNOXLWQX","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":"2d684aaed5a615878ba5519a1e17bc83937311d00225ee0b3ca3233a82470316","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-13T15:46:09Z","title_canon_sha256":"a1615ef08e4f7e8771a545e2c2dffbcdec6867e1ddec3585eb67f6cfa54cc325"},"schema_version":"1.0","source":{"id":"1810.05879","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.05879","created_at":"2026-05-18T00:03:14Z"},{"alias_kind":"arxiv_version","alias_value":"1810.05879v2","created_at":"2026-05-18T00:03:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.05879","created_at":"2026-05-18T00:03:14Z"},{"alias_kind":"pith_short_12","alias_value":"OKRSCU3E2SBG","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OKRSCU3E2SBG34ZW","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OKRSCU3E","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:55225fd7b15958ab6a812e127e9be104fc2bb34c2edfb16c825a7908d2420a81","target":"graph","created_at":"2026-05-18T00:03:14Z","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":"We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely characterize the circumstances in which such a combination produces the corresponding fragment of classical logic over the signature containing connectives from both fragments given as input. If the thereby produced combined fragment is only incompletely characterized by the components given as input, this means that connectives from one component need to interact with connectives from the other component, giving rise to ","authors_text":"Carlos Caleiro, Jo\\~ao Marcos, S\\'ergio Marcelino","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-13T15:46:09Z","title":"Combining fragments of classical logic: When are interaction principles needed?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.05879","kind":"arxiv","version":2},"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:70ff1fa92dcf30de0c8ba30c911c0d48e5d9fe12b666dad33b8968f5a5fb76a7","target":"record","created_at":"2026-05-18T00:03:14Z","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":"2d684aaed5a615878ba5519a1e17bc83937311d00225ee0b3ca3233a82470316","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-13T15:46:09Z","title_canon_sha256":"a1615ef08e4f7e8771a545e2c2dffbcdec6867e1ddec3585eb67f6cfa54cc325"},"schema_version":"1.0","source":{"id":"1810.05879","kind":"arxiv","version":2}},"canonical_sha256":"72a3215364d4826df3366154d75d7685d26ecc750e6d1ffecf8836a4b85242ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72a3215364d4826df3366154d75d7685d26ecc750e6d1ffecf8836a4b85242ea","first_computed_at":"2026-05-18T00:03:14.361471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:14.361471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"psWJYxbOPkGjh2HwpsEMkDTlhN3FqDqraVvj+enEfP3OcgSPbN5cokPnFhNy14FAh5vx9Jn+bWG1d4UUBKBLAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:14.362011Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.05879","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70ff1fa92dcf30de0c8ba30c911c0d48e5d9fe12b666dad33b8968f5a5fb76a7","sha256:55225fd7b15958ab6a812e127e9be104fc2bb34c2edfb16c825a7908d2420a81"],"state_sha256":"e6bf13f04c975a9753356467774f64b5f39ac328c7499de3b9f8de535133a44d"}