{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:J6KPTHENVV2PMHPDTJSIETX5D7","short_pith_number":"pith:J6KPTHEN","canonical_record":{"source":{"id":"1404.5888","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-04-23T16:52:16Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"7774e67b8e46c5c03bcd3356f6cbbedd59a82e0805d64ced866d8c775f341e05","abstract_canon_sha256":"76cb16271488f72da5c47da60df7346e4e943b730c6588233d93eadb5cd578cd"},"schema_version":"1.0"},"canonical_sha256":"4f94f99c8dad74f61de39a64824efd1fc695dee50fc87da8066eb36e74725da1","source":{"kind":"arxiv","id":"1404.5888","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5888","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5888v1","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5888","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"J6KPTHENVV2P","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"J6KPTHENVV2PMHPD","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"J6KPTHEN","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:J6KPTHENVV2PMHPDTJSIETX5D7","target":"record","payload":{"canonical_record":{"source":{"id":"1404.5888","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-04-23T16:52:16Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"7774e67b8e46c5c03bcd3356f6cbbedd59a82e0805d64ced866d8c775f341e05","abstract_canon_sha256":"76cb16271488f72da5c47da60df7346e4e943b730c6588233d93eadb5cd578cd"},"schema_version":"1.0"},"canonical_sha256":"4f94f99c8dad74f61de39a64824efd1fc695dee50fc87da8066eb36e74725da1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:53:27.621385Z","signature_b64":"vrDeW/759b2RWG5ExQwDon7Fu5oRDydjZvIpN8+sP+jq7/n2ZUQerOR6XgmUhmfDj0rof0/ojTanIi0HWAWxDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f94f99c8dad74f61de39a64824efd1fc695dee50fc87da8066eb36e74725da1","last_reissued_at":"2026-05-18T02:53:27.620757Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:53:27.620757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.5888","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:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wcEX8M4LeniVkgk+Ztb+fOHoV3cSNBaBhQyeOio480b+Ayy9O40hUM7SPyigfH0BJE7wkqdhKJONmi+tfIBGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:23:41.907693Z"},"content_sha256":"91c93f7d9dcc5b6fdbd9c8c68b7ad57db0cdbd531303e5da0d79bfbb81128334","schema_version":"1.0","event_id":"sha256:91c93f7d9dcc5b6fdbd9c8c68b7ad57db0cdbd531303e5da0d79bfbb81128334"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:J6KPTHENVV2PMHPDTJSIETX5D7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The square of opposition in orthomodular logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"quant-ph","authors_text":"Christian de Ronde, Graciela Domenech, Hector Freytes","submitted_at":"2014-04-23T16:52:16Z","abstract_excerpt":"In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations between"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5888","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:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CTWEreDT99frDIE17JjluTB7MB6LXCa1JUb3LImEvZtk5tQIHK6GTHRbj/B1iFKzGG8Wlx2uWpvpZu2qFfMGBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:23:41.908036Z"},"content_sha256":"e2bc17af79605974ff7e4a6f5d0b09e30b8d3fb8d675fba93a3f61ea616c4363","schema_version":"1.0","event_id":"sha256:e2bc17af79605974ff7e4a6f5d0b09e30b8d3fb8d675fba93a3f61ea616c4363"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J6KPTHENVV2PMHPDTJSIETX5D7/bundle.json","state_url":"https://pith.science/pith/J6KPTHENVV2PMHPDTJSIETX5D7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J6KPTHENVV2PMHPDTJSIETX5D7/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-05T09:23:41Z","links":{"resolver":"https://pith.science/pith/J6KPTHENVV2PMHPDTJSIETX5D7","bundle":"https://pith.science/pith/J6KPTHENVV2PMHPDTJSIETX5D7/bundle.json","state":"https://pith.science/pith/J6KPTHENVV2PMHPDTJSIETX5D7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J6KPTHENVV2PMHPDTJSIETX5D7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:J6KPTHENVV2PMHPDTJSIETX5D7","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":"76cb16271488f72da5c47da60df7346e4e943b730c6588233d93eadb5cd578cd","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-04-23T16:52:16Z","title_canon_sha256":"7774e67b8e46c5c03bcd3356f6cbbedd59a82e0805d64ced866d8c775f341e05"},"schema_version":"1.0","source":{"id":"1404.5888","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5888","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5888v1","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5888","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"J6KPTHENVV2P","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"J6KPTHENVV2PMHPD","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"J6KPTHEN","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:e2bc17af79605974ff7e4a6f5d0b09e30b8d3fb8d675fba93a3f61ea616c4363","target":"graph","created_at":"2026-05-18T02:53: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 Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations between","authors_text":"Christian de Ronde, Graciela Domenech, Hector Freytes","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-04-23T16:52:16Z","title":"The square of opposition in orthomodular logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5888","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:91c93f7d9dcc5b6fdbd9c8c68b7ad57db0cdbd531303e5da0d79bfbb81128334","target":"record","created_at":"2026-05-18T02:53: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":"76cb16271488f72da5c47da60df7346e4e943b730c6588233d93eadb5cd578cd","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-04-23T16:52:16Z","title_canon_sha256":"7774e67b8e46c5c03bcd3356f6cbbedd59a82e0805d64ced866d8c775f341e05"},"schema_version":"1.0","source":{"id":"1404.5888","kind":"arxiv","version":1}},"canonical_sha256":"4f94f99c8dad74f61de39a64824efd1fc695dee50fc87da8066eb36e74725da1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f94f99c8dad74f61de39a64824efd1fc695dee50fc87da8066eb36e74725da1","first_computed_at":"2026-05-18T02:53:27.620757Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:53:27.620757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vrDeW/759b2RWG5ExQwDon7Fu5oRDydjZvIpN8+sP+jq7/n2ZUQerOR6XgmUhmfDj0rof0/ojTanIi0HWAWxDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:53:27.621385Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.5888","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91c93f7d9dcc5b6fdbd9c8c68b7ad57db0cdbd531303e5da0d79bfbb81128334","sha256:e2bc17af79605974ff7e4a6f5d0b09e30b8d3fb8d675fba93a3f61ea616c4363"],"state_sha256":"9851e874e7edd32daf58842b810fb75208aa43ba07e5a4a79aa753df002681e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zjCDz1dAQGleXsK7NCMhRK/Owzx+yW+wniIqQ/8dKtKjbQUnym7BuFwxWREwtTBxAqs55piaRvfHrTC23S+NAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T09:23:41.909992Z","bundle_sha256":"b6cce52d597c67671ee098a4c117e1f2d7eb50f7a48b5b4562b876da5aaf25b7"}}