{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:QSU7WZOW55GVBQMLNIOGQJIHBV","short_pith_number":"pith:QSU7WZOW","canonical_record":{"source":{"id":"1104.1466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-08T01:41:22Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"f1fb438f133924590fff4e5f3caa1330bc79c8d4bf9f530b9e217614e1d20354","abstract_canon_sha256":"43bef8c0b0ba0649f2e98ac8f880e8ecf83bd57a6a04bd0c6918e1833f01956d"},"schema_version":"1.0"},"canonical_sha256":"84a9fb65d6ef4d50c18b6a1c6825070d4c081d80e22d82097f95232626a1fba6","source":{"kind":"arxiv","id":"1104.1466","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.1466","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"arxiv_version","alias_value":"1104.1466v1","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.1466","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"pith_short_12","alias_value":"QSU7WZOW55GV","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QSU7WZOW55GVBQML","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QSU7WZOW","created_at":"2026-05-18T12:26:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:QSU7WZOW55GVBQMLNIOGQJIHBV","target":"record","payload":{"canonical_record":{"source":{"id":"1104.1466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-08T01:41:22Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"f1fb438f133924590fff4e5f3caa1330bc79c8d4bf9f530b9e217614e1d20354","abstract_canon_sha256":"43bef8c0b0ba0649f2e98ac8f880e8ecf83bd57a6a04bd0c6918e1833f01956d"},"schema_version":"1.0"},"canonical_sha256":"84a9fb65d6ef4d50c18b6a1c6825070d4c081d80e22d82097f95232626a1fba6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:44.983626Z","signature_b64":"IOdkMGYzoojBdHBlnP0zourzQdRtxcV2Rb4pQCqQd6wb+Seo9wIZkI9TI/4h5G9FDI59QSnqG6zNmk+OHlUXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84a9fb65d6ef4d50c18b6a1c6825070d4c081d80e22d82097f95232626a1fba6","last_reissued_at":"2026-05-18T04:24:44.983164Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:44.983164Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.1466","source_version":1,"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-18T04:24:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ViX09bcPzmC+3uSe+h78sN4dkpsnUtb/htwp827F+9dlGKt3KCT8L7WInkh4eC/hHmyIvVvqVUvF7/LNAQfrBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:19:18.418277Z"},"content_sha256":"df96595d3ab7e043005346d5ceef2522eed156f3426ed31a87197e57b6cfd323","schema_version":"1.0","event_id":"sha256:df96595d3ab7e043005346d5ceef2522eed156f3426ed31a87197e57b6cfd323"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:QSU7WZOW55GVBQMLNIOGQJIHBV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logical Varieties in Normative Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Kees (C.N.J.) de Vey Mestdagh, Mark Burgin","submitted_at":"2011-04-08T01:41:22Z","abstract_excerpt":"Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied success"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.1466","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"},"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-18T04:24:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h/9Y67mJaFhLfmAM0wwuYEkB5lgrcCiUxrAZNTcPOWIM2m76r+EfRQ2UYCOad2JrhfW+1IXcfTfu3ofNNDRmAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T19:19:18.418644Z"},"content_sha256":"0fc29ab1f80c8712b5aa1daa8962312cfd9cd904f63e57338bd0ce8552ed457b","schema_version":"1.0","event_id":"sha256:0fc29ab1f80c8712b5aa1daa8962312cfd9cd904f63e57338bd0ce8552ed457b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/bundle.json","state_url":"https://pith.science/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/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-10T19:19:18Z","links":{"resolver":"https://pith.science/pith/QSU7WZOW55GVBQMLNIOGQJIHBV","bundle":"https://pith.science/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/bundle.json","state":"https://pith.science/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QSU7WZOW55GVBQMLNIOGQJIHBV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:QSU7WZOW55GVBQMLNIOGQJIHBV","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":"43bef8c0b0ba0649f2e98ac8f880e8ecf83bd57a6a04bd0c6918e1833f01956d","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-08T01:41:22Z","title_canon_sha256":"f1fb438f133924590fff4e5f3caa1330bc79c8d4bf9f530b9e217614e1d20354"},"schema_version":"1.0","source":{"id":"1104.1466","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.1466","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"arxiv_version","alias_value":"1104.1466v1","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.1466","created_at":"2026-05-18T04:24:44Z"},{"alias_kind":"pith_short_12","alias_value":"QSU7WZOW55GV","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QSU7WZOW55GVBQML","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QSU7WZOW","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:0fc29ab1f80c8712b5aa1daa8962312cfd9cd904f63e57338bd0ce8552ed457b","target":"graph","created_at":"2026-05-18T04:24:44Z","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":"Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied success","authors_text":"Kees (C.N.J.) de Vey Mestdagh, Mark Burgin","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-08T01:41:22Z","title":"Logical Varieties in Normative Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.1466","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:df96595d3ab7e043005346d5ceef2522eed156f3426ed31a87197e57b6cfd323","target":"record","created_at":"2026-05-18T04:24:44Z","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":"43bef8c0b0ba0649f2e98ac8f880e8ecf83bd57a6a04bd0c6918e1833f01956d","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-08T01:41:22Z","title_canon_sha256":"f1fb438f133924590fff4e5f3caa1330bc79c8d4bf9f530b9e217614e1d20354"},"schema_version":"1.0","source":{"id":"1104.1466","kind":"arxiv","version":1}},"canonical_sha256":"84a9fb65d6ef4d50c18b6a1c6825070d4c081d80e22d82097f95232626a1fba6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"84a9fb65d6ef4d50c18b6a1c6825070d4c081d80e22d82097f95232626a1fba6","first_computed_at":"2026-05-18T04:24:44.983164Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:44.983164Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IOdkMGYzoojBdHBlnP0zourzQdRtxcV2Rb4pQCqQd6wb+Seo9wIZkI9TI/4h5G9FDI59QSnqG6zNmk+OHlUXAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:44.983626Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.1466","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df96595d3ab7e043005346d5ceef2522eed156f3426ed31a87197e57b6cfd323","sha256:0fc29ab1f80c8712b5aa1daa8962312cfd9cd904f63e57338bd0ce8552ed457b"],"state_sha256":"44860d65423da3714f6f3891f59571877a6624e8929d9e6b7d4b1cbf0ed6c5d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZCoBQZD/C+uSGL4u7nN/7AykWYVdduG3eIrHdWcQ91Ts3Yq9bMUD7nidQqa9zuIDYI7MLeHyXhMiNB8as2o1Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T19:19:18.420572Z","bundle_sha256":"1746b4ac950fc21bb467ad865d045a1759f7b43392198c66a5b4dc08e2be5e61"}}