{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:CYYM4W2HNXH6V6VWQ62EIDYCWT","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":"690ca74d49a71cb3ac11ff15cb43b7180edeb24131b88fe588f918d355cb0605","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2010-10-13T00:32:38Z","title_canon_sha256":"550f5416cb42fa24faa0122a8ee4444b8268bd6d7fc749a7b1064fc5b3fb110b"},"schema_version":"1.0","source":{"id":"1010.2552","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2552","created_at":"2026-05-18T04:39:27Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2552v1","created_at":"2026-05-18T04:39:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2552","created_at":"2026-05-18T04:39:27Z"},{"alias_kind":"pith_short_12","alias_value":"CYYM4W2HNXH6","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"CYYM4W2HNXH6V6VW","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"CYYM4W2H","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:7eb439b00823c845c53c06cf3a18079f25132139300cfb7157c8f81d5ec9b2aa","target":"graph","created_at":"2026-05-18T04:39:27Z","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":"The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Arnon Avron. The motivation for such an investigation has two main roots. On the one hand there is an interest in bilattices as an elegant formalism that gave rise in the last two decades to a variety of applications, especially in the field of Theoretical Computer Science and Artificial Intelligence. In this respect, the present study aims to be a contribution to a better understanding of the mathematical and logical ","authors_text":"Umberto Rivieccio","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2010-10-13T00:32:38Z","title":"An Algebraic Study of Bilattice-based Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2552","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:181c17bf1d9eba4fe9e81937eda50c5552d24bac70ee071299dee613d074be40","target":"record","created_at":"2026-05-18T04:39:27Z","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":"690ca74d49a71cb3ac11ff15cb43b7180edeb24131b88fe588f918d355cb0605","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2010-10-13T00:32:38Z","title_canon_sha256":"550f5416cb42fa24faa0122a8ee4444b8268bd6d7fc749a7b1064fc5b3fb110b"},"schema_version":"1.0","source":{"id":"1010.2552","kind":"arxiv","version":1}},"canonical_sha256":"1630ce5b476dcfeafab687b4440f02b4fea5b4d7022a7109b6a1c4bc829097f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1630ce5b476dcfeafab687b4440f02b4fea5b4d7022a7109b6a1c4bc829097f3","first_computed_at":"2026-05-18T04:39:27.326126Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:39:27.326126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vgg6kcRmh+yWQnBHKh3bJ2SLLYZvegdeG0QErvlf5m8DfqsbA5YKMPMiwOa9y5fJuoTXhKgCvpd7bZ2aD3TYCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:39:27.326697Z","signed_message":"canonical_sha256_bytes"},"source_id":"1010.2552","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:181c17bf1d9eba4fe9e81937eda50c5552d24bac70ee071299dee613d074be40","sha256:7eb439b00823c845c53c06cf3a18079f25132139300cfb7157c8f81d5ec9b2aa"],"state_sha256":"faa81fc7bfa3abc50e033404882d901d9f560bf651fef01f2b6cacf0927b75cd"}