Maximal theories of product logic
Logic
2023-08-28 v1
Abstract
Product logic is one of the main fuzzy logics arising from a continuous t-norm, and its equivalent algebraic semantics is the variety of product algebras. In this contribution, we study maximal filters of product algebras, and their relation with product hoops. The latter constitute the variety of 0-free subreducts of product algebras. Given any product hoop, we construct a product algebra of which the product hoop is (isomorphic to) a maximal filter. This entails that product hoops coincide exactly with the maximal filters of product algebras, seen as residuated lattices. In this sense, we characterize the equational theory of maximal filters of product algebras.
Keywords
Cite
@article{arxiv.2308.13410,
title = {Maximal theories of product logic},
author = {Valeria Giustarini and Sara Ugolini},
journal= {arXiv preprint arXiv:2308.13410},
year = {2023}
}
Comments
This is a preprint