{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:AI5Y65KH5R435OBAHXARHBX4SF","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":"ac8f5987b1662ed31a769dffa8bb9c81c983732a6f1bb9a4bf3121caa6a25793","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-30T14:58:40Z","title_canon_sha256":"e05a585473171a2e38602f70e0cb4efcfcd51de72c375482212d57ff33be937b"},"schema_version":"1.0","source":{"id":"1301.7251","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7251","created_at":"2026-05-18T03:35:00Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7251v1","created_at":"2026-05-18T03:35:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7251","created_at":"2026-05-18T03:35:00Z"},{"alias_kind":"pith_short_12","alias_value":"AI5Y65KH5R43","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"AI5Y65KH5R435OBA","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"AI5Y65KH","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:b77379ed40110301629867519fee5b8016463876147bd0ca79a2f728fbde1b0c","target":"graph","created_at":"2026-05-18T03:35:00Z","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":"Possibilistic logic is a well-known graded logic of uncertainty suitable to reason under incomplete information and partially inconsistent knowledge, which is built upon classical first order logic. There exists for Possibilistic logic a proof procedure based on a refutation complete resolution-style calculus. Recently, a syntactical extension of first order Possibilistic logic (called PLFC) dealing with fuzzy constants and fuzzily restricted quantifiers has been proposed. Our aim is to present steps towards both the formalization of PLFC itself and an automated deduction system for it by (i) ","authors_text":"Lluis Godo, Sandra Sandri, Teresa Alsinet","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-30T14:58:40Z","title":"On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7251","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:a23376ba6be564b2a426f8789e51c4ede0aa39d9d10d9ab741c751c8d264f8d4","target":"record","created_at":"2026-05-18T03:35:00Z","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":"ac8f5987b1662ed31a769dffa8bb9c81c983732a6f1bb9a4bf3121caa6a25793","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-30T14:58:40Z","title_canon_sha256":"e05a585473171a2e38602f70e0cb4efcfcd51de72c375482212d57ff33be937b"},"schema_version":"1.0","source":{"id":"1301.7251","kind":"arxiv","version":1}},"canonical_sha256":"023b8f7547ec79beb8203dc11386fc915fba5835961ee5857acdab65e8429270","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"023b8f7547ec79beb8203dc11386fc915fba5835961ee5857acdab65e8429270","first_computed_at":"2026-05-18T03:35:00.824664Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:35:00.824664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Cu1/pAKaMSZkdU45iLplwdwI8yjrdi84cQ0IzF/3pMeaykP98zcVXhW3OqpW16/V0T1UawrBI0BBNfM3EckCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:35:00.825430Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.7251","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a23376ba6be564b2a426f8789e51c4ede0aa39d9d10d9ab741c751c8d264f8d4","sha256:b77379ed40110301629867519fee5b8016463876147bd0ca79a2f728fbde1b0c"],"state_sha256":"6fb004cd8ba088d179e9b7517dc3898599fe37eed81f755cba90db392a244447"}