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

Gerla B.
2022-01-01

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.
2022
IEEE International Conference on Fuzzy Systems
978-1-6654-6710-0
2022 IEEE International Conference on Fuzzy Systems, FUZZ 2022
ita
2022
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2143938
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact