{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:VPNCGI55J57UE2AROMJDMUYZ6T","short_pith_number":"pith:VPNCGI55","schema_version":"1.0","canonical_sha256":"abda2323bd4f7f4268117312365319f4f0dacf8ab1930a8b54076ad627b79860","source":{"kind":"arxiv","id":"1206.6573","version":2},"attestation_state":"computed","paper":{"title":"Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Pietro Galliani","submitted_at":"2012-06-28T06:35:10Z","abstract_excerpt":"We introduce a variant of Dependence Logic in which truth is defined not in terms of existence of winning strategies for the Proponent (Eloise) in a semantic game, but in terms of lack of winning strategies for the Opponent (Abelard). We show that this language is a conservative but paraconsistent extension of First Order Logic, that its validity problem can be reduced to that of First Order Logic, that it capable of expressing its own truth and validity predicates, and that it is expressively equivalent to Universal Second Order Logic. Furthermore, we prove that a Paraconsistent Non-dependenc"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1206.6573","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-06-28T06:35:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3b04ec10f43e7ecebbbd1fbe698f4f7844bf6484fc653f8fecf39c1b0b9720c0","abstract_canon_sha256":"12a97e872b66f964fdf6d92def1b9f97f3c9ed0dbfe2e7bdb0ba11b0baa2e269"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:56:21.442099Z","signature_b64":"ToAim2Ghsv3XWZZPLmIeF98sraYVEYl97wPkTaZPDsJlGz94PCvtTBCvhH99C1laD1jSeWZ2d46K4A3c4BX5Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"abda2323bd4f7f4268117312365319f4f0dacf8ab1930a8b54076ad627b79860","last_reissued_at":"2026-05-18T02:56:21.441471Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:56:21.441471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Pietro Galliani","submitted_at":"2012-06-28T06:35:10Z","abstract_excerpt":"We introduce a variant of Dependence Logic in which truth is defined not in terms of existence of winning strategies for the Proponent (Eloise) in a semantic game, but in terms of lack of winning strategies for the Opponent (Abelard). We show that this language is a conservative but paraconsistent extension of First Order Logic, that its validity problem can be reduced to that of First Order Logic, that it capable of expressing its own truth and validity predicates, and that it is expressively equivalent to Universal Second Order Logic. Furthermore, we prove that a Paraconsistent Non-dependenc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.6573","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1206.6573","created_at":"2026-05-18T02:56:21.441572+00:00"},{"alias_kind":"arxiv_version","alias_value":"1206.6573v2","created_at":"2026-05-18T02:56:21.441572+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.6573","created_at":"2026-05-18T02:56:21.441572+00:00"},{"alias_kind":"pith_short_12","alias_value":"VPNCGI55J57U","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_16","alias_value":"VPNCGI55J57UE2AR","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_8","alias_value":"VPNCGI55","created_at":"2026-05-18T12:27:25.539911+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T","json":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T.json","graph_json":"https://pith.science/api/pith-number/VPNCGI55J57UE2AROMJDMUYZ6T/graph.json","events_json":"https://pith.science/api/pith-number/VPNCGI55J57UE2AROMJDMUYZ6T/events.json","paper":"https://pith.science/paper/VPNCGI55"},"agent_actions":{"view_html":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T","download_json":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T.json","view_paper":"https://pith.science/paper/VPNCGI55","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1206.6573&json=true","fetch_graph":"https://pith.science/api/pith-number/VPNCGI55J57UE2AROMJDMUYZ6T/graph.json","fetch_events":"https://pith.science/api/pith-number/VPNCGI55J57UE2AROMJDMUYZ6T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T/action/storage_attestation","attest_author":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T/action/author_attestation","sign_citation":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T/action/citation_signature","submit_replication":"https://pith.science/pith/VPNCGI55J57UE2AROMJDMUYZ6T/action/replication_record"}},"created_at":"2026-05-18T02:56:21.441572+00:00","updated_at":"2026-05-18T02:56:21.441572+00:00"}