{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:PKNQQ2A2BZV2SMAMXMR4PYAOGT","short_pith_number":"pith:PKNQQ2A2","schema_version":"1.0","canonical_sha256":"7a9b08681a0e6ba9300cbb23c7e00e34f7a5aeb3ae01fcf0360505a933a0a0f4","source":{"kind":"arxiv","id":"1103.0676","version":1},"attestation_state":"computed","paper":{"title":"Probabilistic Logic: Many-valuedness and Intensionality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoran Majkic","submitted_at":"2011-03-03T13:03:15Z","abstract_excerpt":"The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson's probability structures/logics, and on linear inequalities in order to reason about probabilities, have some weak points. In this paper we have presented the complete revision of both approaches. We have shown that the full embedding of Nilsson'probabilistic structure into pro"},"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":"1103.0676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-03T13:03:15Z","cross_cats_sorted":[],"title_canon_sha256":"a92f8ea42c605ee691b34438510601b54bbe4c78f77135e1f579f135aa16ad87","abstract_canon_sha256":"f5807f599bda513dc9db77553eb604e81df1f84ea386d20821c7094a536cb1d6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:27:27.524230Z","signature_b64":"Aa2y3PEgisXHQAUzZUa1pNO0P3aQ+7kbI/aXnL+TnHQxzYaiMYi8o6Cf52dy7XLJAvVVGTYW8ea4ljTranpNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a9b08681a0e6ba9300cbb23c7e00e34f7a5aeb3ae01fcf0360505a933a0a0f4","last_reissued_at":"2026-05-18T04:27:27.523714Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:27:27.523714Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Probabilistic Logic: Many-valuedness and Intensionality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoran Majkic","submitted_at":"2011-03-03T13:03:15Z","abstract_excerpt":"The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson's probability structures/logics, and on linear inequalities in order to reason about probabilities, have some weak points. In this paper we have presented the complete revision of both approaches. We have shown that the full embedding of Nilsson'probabilistic structure into pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0676","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1103.0676","created_at":"2026-05-18T04:27:27.523802+00:00"},{"alias_kind":"arxiv_version","alias_value":"1103.0676v1","created_at":"2026-05-18T04:27:27.523802+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0676","created_at":"2026-05-18T04:27:27.523802+00:00"},{"alias_kind":"pith_short_12","alias_value":"PKNQQ2A2BZV2","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_16","alias_value":"PKNQQ2A2BZV2SMAM","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_8","alias_value":"PKNQQ2A2","created_at":"2026-05-18T12:26:39.201973+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/PKNQQ2A2BZV2SMAMXMR4PYAOGT","json":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT.json","graph_json":"https://pith.science/api/pith-number/PKNQQ2A2BZV2SMAMXMR4PYAOGT/graph.json","events_json":"https://pith.science/api/pith-number/PKNQQ2A2BZV2SMAMXMR4PYAOGT/events.json","paper":"https://pith.science/paper/PKNQQ2A2"},"agent_actions":{"view_html":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT","download_json":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT.json","view_paper":"https://pith.science/paper/PKNQQ2A2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1103.0676&json=true","fetch_graph":"https://pith.science/api/pith-number/PKNQQ2A2BZV2SMAMXMR4PYAOGT/graph.json","fetch_events":"https://pith.science/api/pith-number/PKNQQ2A2BZV2SMAMXMR4PYAOGT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT/action/storage_attestation","attest_author":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT/action/author_attestation","sign_citation":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT/action/citation_signature","submit_replication":"https://pith.science/pith/PKNQQ2A2BZV2SMAMXMR4PYAOGT/action/replication_record"}},"created_at":"2026-05-18T04:27:27.523802+00:00","updated_at":"2026-05-18T04:27:27.523802+00:00"}