{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WEDC3G4FOSEFYDDDSYTKXYVKUS","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":"87138f296eb1a3b05f24c3c927a0d5fc4b54433b3bc784068e3b67880c59e933","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2019-08-07T00:03:59Z","title_canon_sha256":"636938815d53f0245106198be5845b3b5c64bea520c3e62922fe555010cbf8e2"},"schema_version":"1.0","source":{"id":"1908.02403","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02403","created_at":"2026-07-05T03:55:24Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02403v2","created_at":"2026-07-05T03:55:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02403","created_at":"2026-07-05T03:55:24Z"},{"alias_kind":"pith_short_12","alias_value":"WEDC3G4FOSEF","created_at":"2026-07-05T03:55:24Z"},{"alias_kind":"pith_short_16","alias_value":"WEDC3G4FOSEFYDDD","created_at":"2026-07-05T03:55:24Z"},{"alias_kind":"pith_short_8","alias_value":"WEDC3G4F","created_at":"2026-07-05T03:55:24Z"}],"graph_snapshots":[{"event_id":"sha256:1971bbb89911a5651b819fc884bccd783de17ce4d69e9d662627c25cb3563679","target":"graph","created_at":"2026-07-05T03:55:24Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1908.02403/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH, for short), as an expansion of semi-intuitionistic logic SI (also called SH) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety DHMSH. It is deduced that the logic DHMSH is algebraizable in the sense","authors_text":"Hanamantagouda P. Sankappanavar, Juan M. Cornejo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2019-08-07T00:03:59Z","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02403","kind":"arxiv","version":2},"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:6482654664306f500ba2ab112ba91f6fcaff38b5817344d949c542945048bd6b","target":"record","created_at":"2026-07-05T03:55:24Z","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":"87138f296eb1a3b05f24c3c927a0d5fc4b54433b3bc784068e3b67880c59e933","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2019-08-07T00:03:59Z","title_canon_sha256":"636938815d53f0245106198be5845b3b5c64bea520c3e62922fe555010cbf8e2"},"schema_version":"1.0","source":{"id":"1908.02403","kind":"arxiv","version":2}},"canonical_sha256":"b1062d9b8574885c0c639626abe2aaa4900292cd4fbc0e564552087ac0714d53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1062d9b8574885c0c639626abe2aaa4900292cd4fbc0e564552087ac0714d53","first_computed_at":"2026-07-05T03:55:24.075034Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:55:24.075034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vVVWxk1XXf6VtuLt4QHMwqfbiE8p1oBL4XrorRYZbTH0Y4ddMLOiSZi7gsXUmYQdj7Wvzff9OCoNqnqFQpo0Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:55:24.075453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.02403","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6482654664306f500ba2ab112ba91f6fcaff38b5817344d949c542945048bd6b","sha256:1971bbb89911a5651b819fc884bccd783de17ce4d69e9d662627c25cb3563679"],"state_sha256":"cda6f5a47abd7b06b25196df34a01ad985e2002ea7624cd0a215840b1e5dcc3d"}