{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:6LHIADMNTHXP5ZDIYSIDNTH2DZ","short_pith_number":"pith:6LHIADMN","canonical_record":{"source":{"id":"1402.5495","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.LO","submitted_at":"2014-02-22T08:42:03Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"374c88c454eb2f9a5ac11c707d8e01072b5641d60795ea484b7739b708439c08","abstract_canon_sha256":"d5d7772e4222c9c65bdf489a1a82810756c8eb45cd4b077e12a6161a9e982d96"},"schema_version":"1.0"},"canonical_sha256":"f2ce800d8d99eefee468c49036ccfa1e698d4f595f30a396793144940cd3d32e","source":{"kind":"arxiv","id":"1402.5495","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.5495","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"arxiv_version","alias_value":"1402.5495v2","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.5495","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"pith_short_12","alias_value":"6LHIADMNTHXP","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6LHIADMNTHXP5ZDI","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6LHIADMN","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:6LHIADMNTHXP5ZDIYSIDNTH2DZ","target":"record","payload":{"canonical_record":{"source":{"id":"1402.5495","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.LO","submitted_at":"2014-02-22T08:42:03Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"374c88c454eb2f9a5ac11c707d8e01072b5641d60795ea484b7739b708439c08","abstract_canon_sha256":"d5d7772e4222c9c65bdf489a1a82810756c8eb45cd4b077e12a6161a9e982d96"},"schema_version":"1.0"},"canonical_sha256":"f2ce800d8d99eefee468c49036ccfa1e698d4f595f30a396793144940cd3d32e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:31.302389Z","signature_b64":"9pR9ABgX3CFDg2NHwOxMCgepAE1NggdA27kyL0TaUHdIYepwwoltuk/sCJBcvDfLEaWpCYiI3sk+Zsa4IttNAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2ce800d8d99eefee468c49036ccfa1e698d4f595f30a396793144940cd3d32e","last_reissued_at":"2026-05-18T02:44:31.301786Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:31.301786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.5495","source_version":2,"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-18T02:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d2Tq2Jnun+dJmBWgMZDBGQy6WLLk+zyEHpWp2kqlml4mqTuEih+5EAUoPPEeBXxd7idc1V23qViGqEtVm0B9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:53:29.355126Z"},"content_sha256":"970bda8689b2e82d87d4658f261d0eb738294962a1beae8dbd565fd0642608be","schema_version":"1.0","event_id":"sha256:970bda8689b2e82d87d4658f261d0eb738294962a1beae8dbd565fd0642608be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:6LHIADMNTHXP5ZDIYSIDNTH2DZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Almost structural completeness; an algebraic approach","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"math.LO","authors_text":"Michal M. Stronkowski, Wojciech Dzik","submitted_at":"2014-02-22T08:42:03Z","abstract_excerpt":"A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can not be applied to theorems of the system. Neglecting passive rules leads to the notion of almost structural completeness, that means, derivablity of admissible non-passive rules. Almost structural completeness for quasivarieties and varieties of general algebras is investigated here by purely algebraic means. The results apply to all algebraiz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.5495","kind":"arxiv","version":2},"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-18T02:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0v4ylqxmQ0BWHoPKuBUBFYvzb0yze7CBHAnbfM8CjhRbs5ZBrV8x0iPL1p1cDdLrYbFlYxvqBRtemWLMCMV/AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:53:29.355474Z"},"content_sha256":"d2bd919c62bc993b4c42f69ede7ff4359e8a185170bee47e0728e0adbf9d4dee","schema_version":"1.0","event_id":"sha256:d2bd919c62bc993b4c42f69ede7ff4359e8a185170bee47e0728e0adbf9d4dee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/bundle.json","state_url":"https://pith.science/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/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-27T02:53:29Z","links":{"resolver":"https://pith.science/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ","bundle":"https://pith.science/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/bundle.json","state":"https://pith.science/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6LHIADMNTHXP5ZDIYSIDNTH2DZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6LHIADMNTHXP5ZDIYSIDNTH2DZ","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":"d5d7772e4222c9c65bdf489a1a82810756c8eb45cd4b077e12a6161a9e982d96","cross_cats_sorted":["cs.LO","math.RA"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.LO","submitted_at":"2014-02-22T08:42:03Z","title_canon_sha256":"374c88c454eb2f9a5ac11c707d8e01072b5641d60795ea484b7739b708439c08"},"schema_version":"1.0","source":{"id":"1402.5495","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.5495","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"arxiv_version","alias_value":"1402.5495v2","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.5495","created_at":"2026-05-18T02:44:31Z"},{"alias_kind":"pith_short_12","alias_value":"6LHIADMNTHXP","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6LHIADMNTHXP5ZDI","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6LHIADMN","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:d2bd919c62bc993b4c42f69ede7ff4359e8a185170bee47e0728e0adbf9d4dee","target":"graph","created_at":"2026-05-18T02:44:31Z","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":"A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can not be applied to theorems of the system. Neglecting passive rules leads to the notion of almost structural completeness, that means, derivablity of admissible non-passive rules. Almost structural completeness for quasivarieties and varieties of general algebras is investigated here by purely algebraic means. The results apply to all algebraiz","authors_text":"Michal M. Stronkowski, Wojciech Dzik","cross_cats":["cs.LO","math.RA"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.LO","submitted_at":"2014-02-22T08:42:03Z","title":"Almost structural completeness; an algebraic approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.5495","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:970bda8689b2e82d87d4658f261d0eb738294962a1beae8dbd565fd0642608be","target":"record","created_at":"2026-05-18T02:44:31Z","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":"d5d7772e4222c9c65bdf489a1a82810756c8eb45cd4b077e12a6161a9e982d96","cross_cats_sorted":["cs.LO","math.RA"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.LO","submitted_at":"2014-02-22T08:42:03Z","title_canon_sha256":"374c88c454eb2f9a5ac11c707d8e01072b5641d60795ea484b7739b708439c08"},"schema_version":"1.0","source":{"id":"1402.5495","kind":"arxiv","version":2}},"canonical_sha256":"f2ce800d8d99eefee468c49036ccfa1e698d4f595f30a396793144940cd3d32e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2ce800d8d99eefee468c49036ccfa1e698d4f595f30a396793144940cd3d32e","first_computed_at":"2026-05-18T02:44:31.301786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:31.301786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9pR9ABgX3CFDg2NHwOxMCgepAE1NggdA27kyL0TaUHdIYepwwoltuk/sCJBcvDfLEaWpCYiI3sk+Zsa4IttNAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:31.302389Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.5495","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:970bda8689b2e82d87d4658f261d0eb738294962a1beae8dbd565fd0642608be","sha256:d2bd919c62bc993b4c42f69ede7ff4359e8a185170bee47e0728e0adbf9d4dee"],"state_sha256":"9ff47538535ed9ba7875bff36b36020e64e21260c6b9bcf16563451de397eec1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NxH1u6WxyClv996myyrOYzH8Kt1m3rC75X4xKzUQleuKliQxsgU20UtadN1+d2ixQOb8JQ8JVLI7j84CypB4DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T02:53:29.357333Z","bundle_sha256":"31e40d3269a66c425aa041b8bed1cb13b085d6fb2ea31e0bae9a3fd478c7d656"}}