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. Aguzzoli
Primo
;
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.
free algebras; group of automorphisms; MTL; Product logic; substitutions
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
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

Caricamento pubblicazioni consigliate

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/2434/943128
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact