{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:CBB2LKL6E3K6RKAMRPWZ75BCBR","short_pith_number":"pith:CBB2LKL6","schema_version":"1.0","canonical_sha256":"1043a5a97e26d5e8a80c8bed9ff4220c4ba49135a940bb3fc97600fb052fdf8f","source":{"kind":"arxiv","id":"1204.4365","version":1},"attestation_state":"computed","paper":{"title":"Principal and Boolean congruences on \\theta-valued Lukasiewicz-Moisil algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"A. V. Figallo, I. Pascual y A. Ziliani","submitted_at":"2012-04-19T15:01:30Z","abstract_excerpt":"The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been developed in this area. In 1968, when Gr.C. Moisil came across Zadeh's fuzzy set theory he found the motivation he had been looking for in order to legitimate the introduction and study of infinitely-valued Lukasiewicz algebras, so he defined \\theta-valued Lukasiewicz algebras (or LM\\theta-algebras, for short) (without negation), where \\theta is the order t"},"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":"1204.4365","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-04-19T15:01:30Z","cross_cats_sorted":[],"title_canon_sha256":"1f0ae2f339edceef3463bc57b13107559e74e2dd517a988ebb790a43b1ac3055","abstract_canon_sha256":"8b02a1e2d3f60bdb1928ca78e02a4cb4e86fa5c0f861515b5976906e51d66852"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:57:27.682534Z","signature_b64":"bY6mqFC+D9XFGspIatHS8RjgemJ68JvYfSwqi8ZikVsPPt1y7SvfRhfKl73T2IhJMuNpiwF3R2VKEqyaO7KaCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1043a5a97e26d5e8a80c8bed9ff4220c4ba49135a940bb3fc97600fb052fdf8f","last_reissued_at":"2026-05-18T03:57:27.681832Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:57:27.681832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Principal and Boolean congruences on \\theta-valued Lukasiewicz-Moisil algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"A. V. Figallo, I. Pascual y A. Ziliani","submitted_at":"2012-04-19T15:01:30Z","abstract_excerpt":"The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been developed in this area. In 1968, when Gr.C. Moisil came across Zadeh's fuzzy set theory he found the motivation he had been looking for in order to legitimate the introduction and study of infinitely-valued Lukasiewicz algebras, so he defined \\theta-valued Lukasiewicz algebras (or LM\\theta-algebras, for short) (without negation), where \\theta is the order t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.4365","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":"1204.4365","created_at":"2026-05-18T03:57:27.681944+00:00"},{"alias_kind":"arxiv_version","alias_value":"1204.4365v1","created_at":"2026-05-18T03:57:27.681944+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.4365","created_at":"2026-05-18T03:57:27.681944+00:00"},{"alias_kind":"pith_short_12","alias_value":"CBB2LKL6E3K6","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_16","alias_value":"CBB2LKL6E3K6RKAM","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_8","alias_value":"CBB2LKL6","created_at":"2026-05-18T12:27:01.376967+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/CBB2LKL6E3K6RKAMRPWZ75BCBR","json":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR.json","graph_json":"https://pith.science/api/pith-number/CBB2LKL6E3K6RKAMRPWZ75BCBR/graph.json","events_json":"https://pith.science/api/pith-number/CBB2LKL6E3K6RKAMRPWZ75BCBR/events.json","paper":"https://pith.science/paper/CBB2LKL6"},"agent_actions":{"view_html":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR","download_json":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR.json","view_paper":"https://pith.science/paper/CBB2LKL6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1204.4365&json=true","fetch_graph":"https://pith.science/api/pith-number/CBB2LKL6E3K6RKAMRPWZ75BCBR/graph.json","fetch_events":"https://pith.science/api/pith-number/CBB2LKL6E3K6RKAMRPWZ75BCBR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR/action/storage_attestation","attest_author":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR/action/author_attestation","sign_citation":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR/action/citation_signature","submit_replication":"https://pith.science/pith/CBB2LKL6E3K6RKAMRPWZ75BCBR/action/replication_record"}},"created_at":"2026-05-18T03:57:27.681944+00:00","updated_at":"2026-05-18T03:57:27.681944+00:00"}