A complete many-valued logic with product-conjunction | Publicación