{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:F53TTTCKLB3CLIAU4OXJFGPZU7","short_pith_number":"pith:F53TTTCK","schema_version":"1.0","canonical_sha256":"2f7739cc4a587625a014e3ae9299f9a7e3ceedaff40a72eb2dab39ed12f4409d","source":{"kind":"arxiv","id":"2502.13812","version":2},"attestation_state":"computed","paper":{"title":"Fracterm Calculus for Partial Meadows","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alban Ponse, Jan A. Bergstra","submitted_at":"2025-02-19T15:26:31Z","abstract_excerpt":"Partial algebras and datatypes are discussed with the use of signatures that allow partial functions, and a three-valued short-circuit (sequential) first order logic with a Tarski semantics. The propositional part of this logic is also known as McCarthy calculus and has been studied extensively.\n  Axioms for the fracterm calculus of partial meadows are given. The case is made that in this way a rather natural formalisation of fields with division operator is obtained. It is noticed that the logic thus obtained cannot express that division by zero must be undefined.\n  An interpretation of the t"},"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":"2502.13812","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-02-19T15:26:31Z","cross_cats_sorted":[],"title_canon_sha256":"37bede1ebaa4dab16371112e18df1f27c557ce5da95384633986eb5247e76aa9","abstract_canon_sha256":"c04de72f64480b35bfc108919c8b834ed07d60b6af00a9e6a8eb3a16400b07fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:14.347340Z","signature_b64":"TXa5HMm00BZ5y9bKhOTgttgrt9CB/KrfFII+/Ags6svtRW2B0f8SD9dsqr+dcqYbFhSNudvqcdTnGakjdn+9CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f7739cc4a587625a014e3ae9299f9a7e3ceedaff40a72eb2dab39ed12f4409d","last_reissued_at":"2026-05-18T02:45:14.346723Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:14.346723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fracterm Calculus for Partial Meadows","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alban Ponse, Jan A. Bergstra","submitted_at":"2025-02-19T15:26:31Z","abstract_excerpt":"Partial algebras and datatypes are discussed with the use of signatures that allow partial functions, and a three-valued short-circuit (sequential) first order logic with a Tarski semantics. The propositional part of this logic is also known as McCarthy calculus and has been studied extensively.\n  Axioms for the fracterm calculus of partial meadows are given. The case is made that in this way a rather natural formalisation of fields with division operator is obtained. It is noticed that the logic thus obtained cannot express that division by zero must be undefined.\n  An interpretation of the t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.13812","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":"2502.13812","created_at":"2026-05-18T02:45:14.346811+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.13812v2","created_at":"2026-05-18T02:45:14.346811+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.13812","created_at":"2026-05-18T02:45:14.346811+00:00"},{"alias_kind":"pith_short_12","alias_value":"F53TTTCKLB3C","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"F53TTTCKLB3CLIAU","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"F53TTTCK","created_at":"2026-05-18T12:33:37.589309+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/F53TTTCKLB3CLIAU4OXJFGPZU7","json":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7.json","graph_json":"https://pith.science/api/pith-number/F53TTTCKLB3CLIAU4OXJFGPZU7/graph.json","events_json":"https://pith.science/api/pith-number/F53TTTCKLB3CLIAU4OXJFGPZU7/events.json","paper":"https://pith.science/paper/F53TTTCK"},"agent_actions":{"view_html":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7","download_json":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7.json","view_paper":"https://pith.science/paper/F53TTTCK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.13812&json=true","fetch_graph":"https://pith.science/api/pith-number/F53TTTCKLB3CLIAU4OXJFGPZU7/graph.json","fetch_events":"https://pith.science/api/pith-number/F53TTTCKLB3CLIAU4OXJFGPZU7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7/action/storage_attestation","attest_author":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7/action/author_attestation","sign_citation":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7/action/citation_signature","submit_replication":"https://pith.science/pith/F53TTTCKLB3CLIAU4OXJFGPZU7/action/replication_record"}},"created_at":"2026-05-18T02:45:14.346811+00:00","updated_at":"2026-05-18T02:45:14.346811+00:00"}