{"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"}