{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:F7SOXHYY7AC46IRTXPGZUGDHF6","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":"4243a38b1b0c304fd8652469445c07ebb800224c7b2c3cae3c16cf06bfe657a0","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T15:19:47Z","title_canon_sha256":"eb934a26c242fb2e49c0cf3b07c5e4b069db06357312035b00a17832792e34d6"},"schema_version":"1.0","source":{"id":"1802.08588","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08588","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08588v1","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08588","created_at":"2026-05-18T00:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"F7SOXHYY7AC4","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F7SOXHYY7AC46IRT","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F7SOXHYY","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:d863d7ee27247ed1d7c68621ef5f4d8f3001f50a0075cc8b37cee89c0b88630c","target":"graph","created_at":"2026-05-18T00:22:41Z","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 the framework of propositional {\\L}ukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced. Several variants of implicitly defining each of the rational elements in the standard semantics are explored, and based on that, a faithful interpretation of theories in Rational Pavelka logic in theories in {\\L}ukasiewicz logic is obtained. Some of these results were already presented in H\\'ajek's \"Metamathematics of Fuzzy Logic\" as technical statements. A connection to the lack of (deduct","authors_text":"Zuzana Hanikov\\'a","cross_cats":["math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T15:19:47Z","title":"Implicit definability of truth constants in {\\L}ukasiewicz logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08588","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:22840d86f21209cb20366c43dffb19423e4f40a7f80d6df997896d7ffb70202b","target":"record","created_at":"2026-05-18T00:22:41Z","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":"4243a38b1b0c304fd8652469445c07ebb800224c7b2c3cae3c16cf06bfe657a0","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2018-02-23T15:19:47Z","title_canon_sha256":"eb934a26c242fb2e49c0cf3b07c5e4b069db06357312035b00a17832792e34d6"},"schema_version":"1.0","source":{"id":"1802.08588","kind":"arxiv","version":1}},"canonical_sha256":"2fe4eb9f18f805cf2233bbcd9a18672f9457827c2c71098d0f070a538b65aba4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fe4eb9f18f805cf2233bbcd9a18672f9457827c2c71098d0f070a538b65aba4","first_computed_at":"2026-05-18T00:22:41.091746Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:41.091746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RzLMPFvwVrb5mW6amfu2lVEjE6biNgPbti56NaKLKKk5HhgXIE9FjiGVeCcL0ukdnBY0HlHGYFLvmk7WwDu0Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:41.092432Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.08588","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22840d86f21209cb20366c43dffb19423e4f40a7f80d6df997896d7ffb70202b","sha256:d863d7ee27247ed1d7c68621ef5f4d8f3001f50a0075cc8b37cee89c0b88630c"],"state_sha256":"8cb0508a7d0fe9e964959fe70196750674c4500652534600a7bce4071610cb6a"}