{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:2XDSU2FQUOFC7O62PDS4SG2S5I","short_pith_number":"pith:2XDSU2FQ","canonical_record":{"source":{"id":"1411.7525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-27T10:12:21Z","cross_cats_sorted":[],"title_canon_sha256":"1c23588d14803ee1dd78d16d64f68f9dec64c44040c3a4b362c038429ed789b6","abstract_canon_sha256":"0747f082f3fb544d6a35791ae229ff41176b8e9b270fa3900cfb558c96c73668"},"schema_version":"1.0"},"canonical_sha256":"d5c72a68b0a38a2fbbda78e5c91b52ea2ae321c5c436ee32cf5fb72950f64d04","source":{"kind":"arxiv","id":"1411.7525","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.7525","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.7525v1","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.7525","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"pith_short_12","alias_value":"2XDSU2FQUOFC","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2XDSU2FQUOFC7O62","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2XDSU2FQ","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:2XDSU2FQUOFC7O62PDS4SG2S5I","target":"record","payload":{"canonical_record":{"source":{"id":"1411.7525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-27T10:12:21Z","cross_cats_sorted":[],"title_canon_sha256":"1c23588d14803ee1dd78d16d64f68f9dec64c44040c3a4b362c038429ed789b6","abstract_canon_sha256":"0747f082f3fb544d6a35791ae229ff41176b8e9b270fa3900cfb558c96c73668"},"schema_version":"1.0"},"canonical_sha256":"d5c72a68b0a38a2fbbda78e5c91b52ea2ae321c5c436ee32cf5fb72950f64d04","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:37.801159Z","signature_b64":"fgxJWGqy4s3RqmX1FlsZzVI3dnVf1AAmGxZ8TijTjVXHaXT94HcYxutEw8TgFDfMD4HgqmQnF/uYcoe6394sBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d5c72a68b0a38a2fbbda78e5c91b52ea2ae321c5c436ee32cf5fb72950f64d04","last_reissued_at":"2026-05-18T02:32:37.800709Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:37.800709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.7525","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-18T02:32:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eszIFfDh+eKLwEY0yfZDIgTNi81+hadSx15iN9HKsbLEEIArnQvfS703myY6UzDd9Kd87QE7dzoaZHIqYdjrAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:30:22.929944Z"},"content_sha256":"7d1b25ada7e7334bb453888526ecddcafe33b0583d32378da11c6a46eed4e8d6","schema_version":"1.0","event_id":"sha256:7d1b25ada7e7334bb453888526ecddcafe33b0583d32378da11c6a46eed4e8d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:2XDSU2FQUOFC7O62PDS4SG2S5I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the analysis of set-based fuzzy quantified reasoning using classical syllogistics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"A. Bugar\\'in, F. D\\'iaz-Hermida, M. Pereira-Fari\\~na","submitted_at":"2014-11-27T10:12:21Z","abstract_excerpt":"Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for which the main support is the linguistic properties of the quantifiers. A number of fuzzy approaches for defining an approximate syllogism have been proposed for which the main support is cardinality calculus. In this paper we analyze fuzzy syllogistic models previously described by Zadeh and Dubois et al. and compare their behavior with that of the classical Aristotelian framewor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.7525","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-18T02:32:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ml+sCtvGgq6b3J6Se/2yMNImsnaZY5rSonBXhdc/Velt7DmUkFlpk3RyqiAstu0H4laEdtdIzp27498jJnvlBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:30:22.930280Z"},"content_sha256":"5bd73c647ebf3324f3ec179c4e15ea6b9e5509cf024bc7761e9904a5008a5813","schema_version":"1.0","event_id":"sha256:5bd73c647ebf3324f3ec179c4e15ea6b9e5509cf024bc7761e9904a5008a5813"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/bundle.json","state_url":"https://pith.science/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/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-02T13:30:22Z","links":{"resolver":"https://pith.science/pith/2XDSU2FQUOFC7O62PDS4SG2S5I","bundle":"https://pith.science/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/bundle.json","state":"https://pith.science/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2XDSU2FQUOFC7O62PDS4SG2S5I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:2XDSU2FQUOFC7O62PDS4SG2S5I","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":"0747f082f3fb544d6a35791ae229ff41176b8e9b270fa3900cfb558c96c73668","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-27T10:12:21Z","title_canon_sha256":"1c23588d14803ee1dd78d16d64f68f9dec64c44040c3a4b362c038429ed789b6"},"schema_version":"1.0","source":{"id":"1411.7525","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.7525","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.7525v1","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.7525","created_at":"2026-05-18T02:32:37Z"},{"alias_kind":"pith_short_12","alias_value":"2XDSU2FQUOFC","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2XDSU2FQUOFC7O62","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2XDSU2FQ","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:5bd73c647ebf3324f3ec179c4e15ea6b9e5509cf024bc7761e9904a5008a5813","target":"graph","created_at":"2026-05-18T02:32:37Z","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":"Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for which the main support is the linguistic properties of the quantifiers. A number of fuzzy approaches for defining an approximate syllogism have been proposed for which the main support is cardinality calculus. In this paper we analyze fuzzy syllogistic models previously described by Zadeh and Dubois et al. and compare their behavior with that of the classical Aristotelian framewor","authors_text":"A. Bugar\\'in, F. D\\'iaz-Hermida, M. Pereira-Fari\\~na","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-27T10:12:21Z","title":"On the analysis of set-based fuzzy quantified reasoning using classical syllogistics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.7525","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:7d1b25ada7e7334bb453888526ecddcafe33b0583d32378da11c6a46eed4e8d6","target":"record","created_at":"2026-05-18T02:32:37Z","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":"0747f082f3fb544d6a35791ae229ff41176b8e9b270fa3900cfb558c96c73668","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-27T10:12:21Z","title_canon_sha256":"1c23588d14803ee1dd78d16d64f68f9dec64c44040c3a4b362c038429ed789b6"},"schema_version":"1.0","source":{"id":"1411.7525","kind":"arxiv","version":1}},"canonical_sha256":"d5c72a68b0a38a2fbbda78e5c91b52ea2ae321c5c436ee32cf5fb72950f64d04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5c72a68b0a38a2fbbda78e5c91b52ea2ae321c5c436ee32cf5fb72950f64d04","first_computed_at":"2026-05-18T02:32:37.800709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:37.800709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fgxJWGqy4s3RqmX1FlsZzVI3dnVf1AAmGxZ8TijTjVXHaXT94HcYxutEw8TgFDfMD4HgqmQnF/uYcoe6394sBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:37.801159Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.7525","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d1b25ada7e7334bb453888526ecddcafe33b0583d32378da11c6a46eed4e8d6","sha256:5bd73c647ebf3324f3ec179c4e15ea6b9e5509cf024bc7761e9904a5008a5813"],"state_sha256":"5ab79fc27dac38cf32ecf983ce0098daa40ec38c35a7917afa653d60254cd43b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DAZI5ew+G0EICekGU5Kp0oCmGNPyCPGUk/rNYK3Mb62VhBrdFPmRupmUquD4yTpkcARRyKn6PJ/kAJ5tV5qPCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:30:22.932709Z","bundle_sha256":"75378643cd9ae182bdd368970d68e063ae9e4bb9bc80f64c30b156e3a2379d40"}}