{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:MKEAZCRODDBCBLFTXZXEILW3A5","short_pith_number":"pith:MKEAZCRO","schema_version":"1.0","canonical_sha256":"62880c8a2e18c220acb3be6e442edb076d3d8b24c823d9b75934903c8225d7c0","source":{"kind":"arxiv","id":"1103.0920","version":1},"attestation_state":"computed","paper":{"title":"Reduction of Many-valued into Two-valued Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"cs.LO","authors_text":"Zoran Majkic","submitted_at":"2011-03-04T15:21:37Z","abstract_excerpt":"In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible worlds), and the set of classic two logic values. This approach is close to the approach used in annotated logics, but offers the possibility of using the standard semantics based on Herbrand interpretati"},"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.0920","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-04T15:21:37Z","cross_cats_sorted":["cs.IT","math.IT"],"title_canon_sha256":"697a61caccda970926e706c0e5a8d7606aeb44a7a55cd24cd93ae364e79b9b21","abstract_canon_sha256":"0fffa4d00548d89319616dd62b559a5d85edeecbd0afd9c770ccec2f36abe97f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:27:26.036592Z","signature_b64":"Efr+7ZKgJaE1bNpDgTCukfFnTH5N5JWieLSNcRQQKVxGoz/Gt102b3nW5qVh2mrHcd4ZPAqr/+JQAGm3nZ2MBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62880c8a2e18c220acb3be6e442edb076d3d8b24c823d9b75934903c8225d7c0","last_reissued_at":"2026-05-18T04:27:26.036126Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:27:26.036126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reduction of Many-valued into Two-valued Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"cs.LO","authors_text":"Zoran Majkic","submitted_at":"2011-03-04T15:21:37Z","abstract_excerpt":"In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible worlds), and the set of classic two logic values. This approach is close to the approach used in annotated logics, but offers the possibility of using the standard semantics based on Herbrand interpretati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0920","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.0920","created_at":"2026-05-18T04:27:26.036188+00:00"},{"alias_kind":"arxiv_version","alias_value":"1103.0920v1","created_at":"2026-05-18T04:27:26.036188+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0920","created_at":"2026-05-18T04:27:26.036188+00:00"},{"alias_kind":"pith_short_12","alias_value":"MKEAZCRODDBC","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"MKEAZCRODDBCBLFT","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"MKEAZCRO","created_at":"2026-05-18T12:26:34.985390+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/MKEAZCRODDBCBLFTXZXEILW3A5","json":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5.json","graph_json":"https://pith.science/api/pith-number/MKEAZCRODDBCBLFTXZXEILW3A5/graph.json","events_json":"https://pith.science/api/pith-number/MKEAZCRODDBCBLFTXZXEILW3A5/events.json","paper":"https://pith.science/paper/MKEAZCRO"},"agent_actions":{"view_html":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5","download_json":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5.json","view_paper":"https://pith.science/paper/MKEAZCRO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1103.0920&json=true","fetch_graph":"https://pith.science/api/pith-number/MKEAZCRODDBCBLFTXZXEILW3A5/graph.json","fetch_events":"https://pith.science/api/pith-number/MKEAZCRODDBCBLFTXZXEILW3A5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5/action/storage_attestation","attest_author":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5/action/author_attestation","sign_citation":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5/action/citation_signature","submit_replication":"https://pith.science/pith/MKEAZCRODDBCBLFTXZXEILW3A5/action/replication_record"}},"created_at":"2026-05-18T04:27:26.036188+00:00","updated_at":"2026-05-18T04:27:26.036188+00:00"}