Product logic is considered one of the major truth-functional fuzzy propositional logics. Its semantics is given by the variety of Product algebras {mathbb{P}}. In the hierarchy of fuzzy logics based on left-continuous t-norms there are a few logics whose algebraic semantics are varieties categorically equivalent with {mathbb{P}}. For these logics we shall describe finitely generated free algebras and their group of automorphisms, that is, invertible substitutions.
Invertible substitutions in logics with algebraic semantics equivalent to Product algebras / S. Aguzzoli, B. Gerla - In: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)[s.l] : IEEE, 2022. - ISBN 978-1-6654-6710-0. - pp. 1-8 (( convegno FUZZ tenutosi a Padova nel 2022 [10.1109/FUZZ-IEEE55066.2022.9882760].
Invertible substitutions in logics with algebraic semantics equivalent to Product algebras
S. AguzzoliPrimo
;
2022
Abstract
Product logic is considered one of the major truth-functional fuzzy propositional logics. Its semantics is given by the variety of Product algebras {mathbb{P}}. In the hierarchy of fuzzy logics based on left-continuous t-norms there are a few logics whose algebraic semantics are varieties categorically equivalent with {mathbb{P}}. For these logics we shall describe finitely generated free algebras and their group of automorphisms, that is, invertible substitutions.File | Dimensione | Formato | |
---|---|---|---|
Invertible_substitutions_in_logics_with_algebraic_semantics_equivalent_to_Product_algebras.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
1.79 MB
Formato
Adobe PDF
|
1.79 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.