{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:WEMQFKMP7AMY4AUBCWAG426LB4","short_pith_number":"pith:WEMQFKMP","schema_version":"1.0","canonical_sha256":"b11902a98ff8198e028115806e6bcb0f0f96f3151bac8ed379e31098193cf3d6","source":{"kind":"arxiv","id":"1408.1843","version":1},"attestation_state":"computed","paper":{"title":"Dual characterizations for finite lattices via correspondence theory for monotone modal logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Alessandra Palmigiano, Luigi Santocanale, Sabine Frittella","submitted_at":"2014-08-08T13:15:04Z","abstract_excerpt":"We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices, progressively generalizing finite distributive lattices. This formal connection is mediated through monotone modal logic. Indeed, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal l"},"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":"1408.1843","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-08T13:15:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"31f6064f8bdde41719f34e903bfa17e218ab833e56d84884320d5148893e3dd0","abstract_canon_sha256":"f1a151e8c273af4f436dcca13bb8bcfa2d5d8a81e4dcfd02f4865cfd4a88fdd8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:38.999267Z","signature_b64":"Wf+yJOTyWciwpbf4zayC/NFBr884DUAO1Zx720x2Y60O3Mexc4LDaS84SpHaoq5Q3vUEDXiPDKBKVjGYKmHgCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b11902a98ff8198e028115806e6bcb0f0f96f3151bac8ed379e31098193cf3d6","last_reissued_at":"2026-05-18T02:45:38.998863Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:38.998863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dual characterizations for finite lattices via correspondence theory for monotone modal logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Alessandra Palmigiano, Luigi Santocanale, Sabine Frittella","submitted_at":"2014-08-08T13:15:04Z","abstract_excerpt":"We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices, progressively generalizing finite distributive lattices. This formal connection is mediated through monotone modal logic. Indeed, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1843","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":"1408.1843","created_at":"2026-05-18T02:45:38.998932+00:00"},{"alias_kind":"arxiv_version","alias_value":"1408.1843v1","created_at":"2026-05-18T02:45:38.998932+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1843","created_at":"2026-05-18T02:45:38.998932+00:00"},{"alias_kind":"pith_short_12","alias_value":"WEMQFKMP7AMY","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_16","alias_value":"WEMQFKMP7AMY4AUB","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_8","alias_value":"WEMQFKMP","created_at":"2026-05-18T12:28:54.890064+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/WEMQFKMP7AMY4AUBCWAG426LB4","json":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4.json","graph_json":"https://pith.science/api/pith-number/WEMQFKMP7AMY4AUBCWAG426LB4/graph.json","events_json":"https://pith.science/api/pith-number/WEMQFKMP7AMY4AUBCWAG426LB4/events.json","paper":"https://pith.science/paper/WEMQFKMP"},"agent_actions":{"view_html":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4","download_json":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4.json","view_paper":"https://pith.science/paper/WEMQFKMP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1408.1843&json=true","fetch_graph":"https://pith.science/api/pith-number/WEMQFKMP7AMY4AUBCWAG426LB4/graph.json","fetch_events":"https://pith.science/api/pith-number/WEMQFKMP7AMY4AUBCWAG426LB4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4/action/storage_attestation","attest_author":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4/action/author_attestation","sign_citation":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4/action/citation_signature","submit_replication":"https://pith.science/pith/WEMQFKMP7AMY4AUBCWAG426LB4/action/replication_record"}},"created_at":"2026-05-18T02:45:38.998932+00:00","updated_at":"2026-05-18T02:45:38.998932+00:00"}