{"as_of":"2026-08-16T12:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:08e9184debb3dd4074e174c2a8ef7859a14f1445a2cda7d5136af4712dc899d5","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:58:40.519997Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.02403/citation-record","integrity":"/paper/1908.02403/integrity","json":"/paper/1908.02403/citation-record.json","paper":"/paper/1908.02403"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.483831Z","title":null,"venue":null,"work_id":"424d6502-d0ea-4668-8cb2-2eb95368b772","year":2011},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.220255Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:f533fbabe6614c49a668ab21cf52b20c48a81a92975d559c4b78f63a5229de86","observation_id":"5a3a1098-829c-49bd-99fe-07aa2682426d","resolution":{"observed_at":"2026-08-14T14:58:41.487389Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.253801Z","title":null,"venue":null,"work_id":"82b1ce4a-fded-4d26-8f43-e6850eb32fc6","year":2013},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.231150Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:3184f32e4959d335a5a6b93fd25064ba78c6c541ddb2c0d7b2a42657ebfa9ed6","observation_id":"e21bd926-546e-4bc5-a16b-808aa6e3381a","resolution":{"observed_at":"2026-08-14T14:58:41.347254Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.175803Z","title":null,"venue":null,"work_id":"64f11f7c-1d17-4e09-973f-17ab4d03c5fb","year":2011},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.235176Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:cb7de1e21d061f09b5479190d07fdc7c90477709e8d19a42d048a3e3b18d2748","observation_id":"9d0b69f1-6fb5-484e-899b-c695304e9aa3","resolution":{"observed_at":"2026-08-14T14:58:41.179231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.166144Z","title":null,"venue":null,"work_id":"411202ff-c026-4162-932e-14ac853fb9f8","year":2015},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.238852Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:d4edd5b72072b5ae2d1d90d86fce04db2b59e65024dd9d2d8963e56877addfa3","observation_id":"bf7180d9-bc0e-4c43-9fdf-3bc19b139e79","resolution":{"observed_at":"2026-08-14T14:58:41.169364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.155834Z","title":null,"venue":null,"work_id":"6ec7c0c9-f22e-4a07-a272-5d9b97a0d722","year":2003},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.242673Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:3d9bbcc3c8f8649ddd9b105e3010993c71e666dbb551ca3a9fca5fec3e9a310a","observation_id":"5b43146f-1eae-4620-81e3-bead6e2f1c45","resolution":{"observed_at":"2026-08-14T14:58:41.158812Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.145450Z","title":null,"venue":null,"work_id":"da31a91b-e13d-49d8-a026-b8578ceff97b","year":2016},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.245939Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:b273a7b0e279b0222f531c6ea2b973b9ade1a60a06d003cbff6030c3f072df7d","observation_id":"d6c05e1b-78a1-47cc-abfc-3f078b88347d","resolution":{"observed_at":"2026-08-14T14:58:41.149835Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.102885Z","title":"Hilbert and P","venue":null,"work_id":"4124b103-f2f9-4794-bc9c-dd3006deb80a","year":1934},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.249745Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:a2a8669c7c0c5068b4bdc79fa582f9cf3e86f3b204e6801c2c30a3e9e9323111","observation_id":"f2733b88-75aa-4031-ad78-f1a9dbcc22b2","resolution":{"observed_at":"2026-08-14T14:58:41.138640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.018816Z","title":"Katri n \\' a k, The structure of distributive double p-algebras","venue":null,"work_id":"5ae48acb-fc31-472b-9273-36e919e3c6df","year":1973},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.267575Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:2bf83ac3ef3ebe3fbaa0fba0e03df070769cdaa85a29a6fd8126bf38458f3d63","observation_id":"805f35d4-b24f-4079-bd7b-1fc2b2333235","resolution":{"observed_at":"2026-08-14T14:58:41.045827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:41.008508Z","title":null,"venue":null,"work_id":"6f3482b4-7231-40fd-8e59-e49f8b994521","year":1942},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.322967Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:2c3ea94fb9a1ae54af95dfb324889f3fd5d6b47f98fd0bb611154b099b7c0ce7","observation_id":"83ad3b5e-6d33-40c8-8a97-b66902d8aad3","resolution":{"observed_at":"2026-08-14T14:58:41.012162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.997911Z","title":"Moisil, Essais sur les logiques non chrysippiennes, Editions de l\\'Academie de la Republique Socialiste de Roumanie, Bucharest 1972","venue":null,"work_id":"d77c41da-f2ef-4f4d-8789-915007bafbe5","year":1972},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.377064Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:c972934bbf4c3295ed9fad0b2887b060222fa7b04ba62be5efd385efc554de75","observation_id":"385782fd-20aa-4678-b164-193b23897a39","resolution":{"observed_at":"2026-08-14T14:58:41.002011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.988698Z","title":null,"venue":null,"work_id":"68963af0-6d96-4830-9210-f567791461cd","year":1980},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.380566Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:19ec0bab998d305cd30cafec14bdbdb34ac7e7182b8fc27c268aad31f693a300","observation_id":"09ada931-8cbc-4cd7-801b-2f70462e614a","resolution":{"observed_at":"2026-08-14T14:58:40.991956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.928096Z","title":null,"venue":null,"work_id":"83253117-0859-46ba-8950-dc9e9a18b0ed","year":1974},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.383998Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:0829b3f731a11264c357e32924a8f818307303b1fe6ed6c6d1e015c066b39005","observation_id":"19da6ad6-9409-4c9a-820b-cbaf83881139","resolution":{"observed_at":"2026-08-14T14:58:40.982423Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.881340Z","title":"Rasiowa and R","venue":null,"work_id":"4cfaa31a-c749-4fbe-8de8-db560a81a6f4","year":1963},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.387716Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:5528e43fe45da2898a670ca327a45ce4d607d9af5ceb0a0b716fc0c1f2376774","observation_id":"74787b9f-8020-4072-95f5-b68d266dd084","resolution":{"observed_at":"2026-08-14T14:58:40.884426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.870918Z","title":null,"venue":null,"work_id":"0e7e8b97-54a6-417a-96ec-39d1c0a9c6a4","year":1985},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.391951Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:039ed363193358e5005a2396f8e5fb26d328157edf5730890074e471fb67b75a","observation_id":"70af6c2f-a3d4-4b73-a4e5-f2521e498910","resolution":{"observed_at":"2026-08-14T14:58:40.874633Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.860948Z","title":"Sankappanavar Heyting algebras with a dual lattice endomorphism","venue":null,"work_id":"14084882-c03f-4a8c-ad9e-54d3094ffee1","year":1987},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.395994Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:a43da3c500bf7733891395ba8ab5ae2093982801ecee9bfebbf8bf9aa618e2da","observation_id":"fc70e401-fa22-4acb-ae50-6113fdae0367","resolution":{"observed_at":"2026-08-14T14:58:40.864626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.806921Z","title":"Sankappanavar, Semi-Heyting algebras, Amer","venue":null,"work_id":"18c53695-b479-4278-895e-7c778242dafb","year":1987},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.399725Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:7a7a716d95c5c7e4573603add8e7517d564f1e98d24571a0056dac7167eeff4f","observation_id":"984840ac-9fbb-4d82-8128-74052f278834","resolution":{"observed_at":"2026-08-14T14:58:40.851281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.759237Z","title":null,"venue":null,"work_id":"0eb95fcc-9f11-411f-b5e1-cb9e9dbe13d4","year":2008},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.403267Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:b54ae90e0f1cdaf0b3de6569a1f83ad0582a45945839a8f86cefd56248c97832","observation_id":"5d810c6c-ad02-4bd9-8d1f-133b1ac6dae0","resolution":{"observed_at":"2026-08-14T14:58:40.763514Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.747580Z","title":null,"venue":null,"work_id":"a5003786-48e9-493a-9eb8-d8f8ba4878be","year":2011},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.406719Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:445b320d8f32b5b5a20ed50df1d8a0a89b831b8bcf772527b4ec70ee3c19b600","observation_id":"2c5062c1-4043-4bd0-ab0d-b4b7fea441d3","resolution":{"observed_at":"2026-08-14T14:58:40.752295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.735509Z","title":null,"venue":null,"work_id":"6654a3a1-29a5-438d-8bf0-5ecc6720ae5a","year":2014},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.409965Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:58759f12fe6e7985c66d3ca9e1c24aa74d94a18c00d63a69edcfb4d641dea405","observation_id":"641d1cba-8ba6-43b4-b3dc-a8a8f60a3cbc","resolution":{"observed_at":"2026-08-14T14:58:40.740372Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.582218Z","title":null,"venue":null,"work_id":"73dd5ae3-c80c-4558-a6f6-e370d431869e","year":2014},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.413527Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:d13d0c8d7e5732a4ba1cedf5548bbc97764249565d292d4283e0d2b921f53373","observation_id":"d5c75867-cd91-4b98-a0ee-8cdf2809d742","resolution":{"observed_at":"2026-08-14T14:58:40.663641Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.570848Z","title":null,"venue":null,"work_id":"aa5f35e9-bf37-4c02-b0d0-c0a7c49c682a","year":2016},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.429901Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:c887f50f544974d0f321c9469f08e3045540773485929c54d242370ab675e0ea","observation_id":"1de53589-461e-4f08-b2a9-8c4186a2901e","resolution":{"observed_at":"2026-08-14T14:58:40.573981Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1512.05441","last_updated":"2017-09-26T06:02:54Z","snapshot_observed_at":"2026-08-14T22:18:09.089656Z","submitted_at":"2015-12-17T02:23:01Z","title":"JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras","version":3},"cited_work":{"arxiv_id":"1512.05441","doi":null,"metadata_source":"pith","pith_arxiv_id":"1512.05441","snapshot_observed_at":"2026-08-14T14:58:40.547205Z","title":"JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras","venue":"math.LO","work_id":"984d466f-6b9a-4e5e-b327-926717b8f8cd","year":2015},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.506052Z"},"links":{"cited_paper":"/paper/1512.05441","citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:e8bf6516d9dcccb806660a3c8eeae68bb8c97f2589ab9e09c4f653c8739b1fec","observation_id":"c481c152-e71a-43c2-b90c-3da8be74582c","resolution":{"observed_at":"2026-08-14T14:58:40.553793Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:58:40.560618Z","title":null,"venue":null,"work_id":"a1d2d1e4-3848-4210-87d6-28f46ff28bab","year":2019},"citing_paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T14:58:40.519997Z"},"links":{"citing_paper":"/paper/1908.02403"},"observation_digest":"sha256:61aa9fb44a001936371f903e20fd202fdaf026deb72412713cd992e46dcd1988","observation_id":"5d73327b-a4d1-4183-9a79-ecfe04b5652d","resolution":{"observed_at":"2026-08-14T14:58:40.564105Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.02403","last_updated":"2022-02-08T21:56:48Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-16T03:23:00.399559Z","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":1,"verified_fuzzy":6},"total_outbound_references":23},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:1908.02403."}