{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:KGSSM74ZXONORWHTKY2ICARVJI","short_pith_number":"pith:KGSSM74Z","schema_version":"1.0","canonical_sha256":"51a5267f99bb9ae8d8f356348102354a035524b680d329d8914760e238f3eef7","source":{"kind":"arxiv","id":"1203.6059","version":1},"attestation_state":"computed","paper":{"title":"Monadic distributive lattices and monadic augmented Kripke frames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"A. V. Figallo, A. Ziliani, I. Pascual","submitted_at":"2012-03-27T19:42:45Z","abstract_excerpt":"In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First, we extended the duality obtained by Cignoli for Q-distributive lattices to m-lattices. This new duality allows us to describe in a simple way the subdirectly irreducible algebras in this variety and in particular, to characterize the finite ones. Next, we introduce the category mKF whose objects are monadic augmented Kripke frames and whose morphisms are in"},"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":"1203.6059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-03-27T19:42:45Z","cross_cats_sorted":[],"title_canon_sha256":"9885e3d0f9bc21588767409d747dcabed365aff3ba2c44c67bcfbf9c112fdf12","abstract_canon_sha256":"6c243fee7159652218aeaf42c4e3b7d49904a6cd689cb9db31abc50c5e33b111"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:59:12.606025Z","signature_b64":"IR/8LsCWGHG/ZI4Rg/vTfqYbXo3CiSCxHgJ+p6EdlYSBaDqzBThSpovx6DDE3ozjIiPyKqEti2LcMbON5yfCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51a5267f99bb9ae8d8f356348102354a035524b680d329d8914760e238f3eef7","last_reissued_at":"2026-05-18T03:59:12.605247Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:59:12.605247Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Monadic distributive lattices and monadic augmented Kripke frames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"A. V. Figallo, A. Ziliani, I. Pascual","submitted_at":"2012-03-27T19:42:45Z","abstract_excerpt":"In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First, we extended the duality obtained by Cignoli for Q-distributive lattices to m-lattices. This new duality allows us to describe in a simple way the subdirectly irreducible algebras in this variety and in particular, to characterize the finite ones. Next, we introduce the category mKF whose objects are monadic augmented Kripke frames and whose morphisms are in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6059","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":"1203.6059","created_at":"2026-05-18T03:59:12.605369+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.6059v1","created_at":"2026-05-18T03:59:12.605369+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6059","created_at":"2026-05-18T03:59:12.605369+00:00"},{"alias_kind":"pith_short_12","alias_value":"KGSSM74ZXONO","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_16","alias_value":"KGSSM74ZXONORWHT","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_8","alias_value":"KGSSM74Z","created_at":"2026-05-18T12:27:11.947152+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/KGSSM74ZXONORWHTKY2ICARVJI","json":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI.json","graph_json":"https://pith.science/api/pith-number/KGSSM74ZXONORWHTKY2ICARVJI/graph.json","events_json":"https://pith.science/api/pith-number/KGSSM74ZXONORWHTKY2ICARVJI/events.json","paper":"https://pith.science/paper/KGSSM74Z"},"agent_actions":{"view_html":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI","download_json":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI.json","view_paper":"https://pith.science/paper/KGSSM74Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.6059&json=true","fetch_graph":"https://pith.science/api/pith-number/KGSSM74ZXONORWHTKY2ICARVJI/graph.json","fetch_events":"https://pith.science/api/pith-number/KGSSM74ZXONORWHTKY2ICARVJI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI/action/storage_attestation","attest_author":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI/action/author_attestation","sign_citation":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI/action/citation_signature","submit_replication":"https://pith.science/pith/KGSSM74ZXONORWHTKY2ICARVJI/action/replication_record"}},"created_at":"2026-05-18T03:59:12.605369+00:00","updated_at":"2026-05-18T03:59:12.605369+00:00"}