TY - RPRT TI - On propositional logic semirings AU - Wenxi Li AU - Zhongzhi Wang PY - 2024 UR - https://arxiv.org/abs/2401.09043 ID - 2401.09043 ER -