{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HHSIV632RWBN65BL42BMFFLBTI","short_pith_number":"pith:HHSIV632","canonical_record":{"source":{"id":"1807.05651","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-07-16T01:57:17Z","cross_cats_sorted":[],"title_canon_sha256":"d3bf79ac923e6bbb1bdd6cfe8c10293777ef646098e36206e9bef00ce14a3b17","abstract_canon_sha256":"50379aa90c9edfffd72ad035de3dec33cf0e0ab2797c983303012d2059146bb3"},"schema_version":"1.0"},"canonical_sha256":"39e48afb7a8d82df742be682c295619a11d91d82805510d46cf014b6a36e0770","source":{"kind":"arxiv","id":"1807.05651","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.05651","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"arxiv_version","alias_value":"1807.05651v2","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.05651","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"pith_short_12","alias_value":"HHSIV632RWBN","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HHSIV632RWBN65BL","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HHSIV632","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HHSIV632RWBN65BL42BMFFLBTI","target":"record","payload":{"canonical_record":{"source":{"id":"1807.05651","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-07-16T01:57:17Z","cross_cats_sorted":[],"title_canon_sha256":"d3bf79ac923e6bbb1bdd6cfe8c10293777ef646098e36206e9bef00ce14a3b17","abstract_canon_sha256":"50379aa90c9edfffd72ad035de3dec33cf0e0ab2797c983303012d2059146bb3"},"schema_version":"1.0"},"canonical_sha256":"39e48afb7a8d82df742be682c295619a11d91d82805510d46cf014b6a36e0770","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:27.412898Z","signature_b64":"mP5sysVVbxFJqz1JVODoR2ocj2Yxh9cJEp1i0qfVIjq9Myl4AhAzRo+OTHk1isb2reqDJLhr6db9iosBpEvgDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39e48afb7a8d82df742be682c295619a11d91d82805510d46cf014b6a36e0770","last_reissued_at":"2026-05-18T00:07:27.412364Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:27.412364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.05651","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-18T00:07:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p4mJG1K4vIAN/B2+dkbaH9br0Mba2mA+Lua47jVyXuG9y/teutal12tSY2YhFBz4OY62xQc9Za4atANSma0tAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:04:24.727105Z"},"content_sha256":"315c837411177be8cc2cabecc1c704947e9583aa6b2d2daab85a3d5003e682ae","schema_version":"1.0","event_id":"sha256:315c837411177be8cc2cabecc1c704947e9583aa6b2d2daab85a3d5003e682ae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HHSIV632RWBN65BL42BMFFLBTI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Marcelo E. Coniglio, Martin Figallo, Tadeo G. Gomez","submitted_at":"2018-07-16T01:57:17Z","abstract_excerpt":"In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which are first-order structures in which each n-ary predicate R is interpreted as a triple of paiwise disjoint sets of n-uples representing, respectively, the set of tuples which actually belong to R, the set of tuples which actually do not belong to R, and the set of tuples whose status is dubious or contradictory. Partial structures were proposed in 1986 by I. Mikenberg, N. da Costa and R. Chuaqui for the theory of qua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.05651","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-18T00:07:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BwMDXSWJU4E0YRsdhOa5UgCO9nOXObvIDKvPeP5DbX+lEMrJFDlu1gfQdWztddYl0//rj2BrJFoCeC+h88qpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:04:24.727888Z"},"content_sha256":"f319e76c9f5bef59defd339195c0ee6ea56bbca43c640a5a520e74b9e6e37eda","schema_version":"1.0","event_id":"sha256:f319e76c9f5bef59defd339195c0ee6ea56bbca43c640a5a520e74b9e6e37eda"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HHSIV632RWBN65BL42BMFFLBTI/bundle.json","state_url":"https://pith.science/pith/HHSIV632RWBN65BL42BMFFLBTI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HHSIV632RWBN65BL42BMFFLBTI/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-11T06:04:24Z","links":{"resolver":"https://pith.science/pith/HHSIV632RWBN65BL42BMFFLBTI","bundle":"https://pith.science/pith/HHSIV632RWBN65BL42BMFFLBTI/bundle.json","state":"https://pith.science/pith/HHSIV632RWBN65BL42BMFFLBTI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HHSIV632RWBN65BL42BMFFLBTI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HHSIV632RWBN65BL42BMFFLBTI","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":"50379aa90c9edfffd72ad035de3dec33cf0e0ab2797c983303012d2059146bb3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-07-16T01:57:17Z","title_canon_sha256":"d3bf79ac923e6bbb1bdd6cfe8c10293777ef646098e36206e9bef00ce14a3b17"},"schema_version":"1.0","source":{"id":"1807.05651","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.05651","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"arxiv_version","alias_value":"1807.05651v2","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.05651","created_at":"2026-05-18T00:07:27Z"},{"alias_kind":"pith_short_12","alias_value":"HHSIV632RWBN","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HHSIV632RWBN65BL","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HHSIV632","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:f319e76c9f5bef59defd339195c0ee6ea56bbca43c640a5a520e74b9e6e37eda","target":"graph","created_at":"2026-05-18T00:07:27Z","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":"In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which are first-order structures in which each n-ary predicate R is interpreted as a triple of paiwise disjoint sets of n-uples representing, respectively, the set of tuples which actually belong to R, the set of tuples which actually do not belong to R, and the set of tuples whose status is dubious or contradictory. Partial structures were proposed in 1986 by I. Mikenberg, N. da Costa and R. Chuaqui for the theory of qua","authors_text":"Marcelo E. Coniglio, Martin Figallo, Tadeo G. Gomez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-07-16T01:57:17Z","title":"Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.05651","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:315c837411177be8cc2cabecc1c704947e9583aa6b2d2daab85a3d5003e682ae","target":"record","created_at":"2026-05-18T00:07:27Z","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":"50379aa90c9edfffd72ad035de3dec33cf0e0ab2797c983303012d2059146bb3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-07-16T01:57:17Z","title_canon_sha256":"d3bf79ac923e6bbb1bdd6cfe8c10293777ef646098e36206e9bef00ce14a3b17"},"schema_version":"1.0","source":{"id":"1807.05651","kind":"arxiv","version":2}},"canonical_sha256":"39e48afb7a8d82df742be682c295619a11d91d82805510d46cf014b6a36e0770","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39e48afb7a8d82df742be682c295619a11d91d82805510d46cf014b6a36e0770","first_computed_at":"2026-05-18T00:07:27.412364Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:27.412364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mP5sysVVbxFJqz1JVODoR2ocj2Yxh9cJEp1i0qfVIjq9Myl4AhAzRo+OTHk1isb2reqDJLhr6db9iosBpEvgDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:27.412898Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.05651","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:315c837411177be8cc2cabecc1c704947e9583aa6b2d2daab85a3d5003e682ae","sha256:f319e76c9f5bef59defd339195c0ee6ea56bbca43c640a5a520e74b9e6e37eda"],"state_sha256":"94b426720d5d1385aa4d36f27e5b8896827417125212c34fdf84e0b2e40355e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cBtcPAAbb583hkQQv+RVOoXzFETtRU6CGRGMu1iCIrXuneJD2YDrERAyv4vagC30EEwW9RG6m3kdqkNJYLs4Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T06:04:24.731975Z","bundle_sha256":"ae35c2eae835801f4818899fbe6934ac543863f6ea21f3b32517856b2bd861d2"}}