Godel logic and its algebraic semantics, namely, the variety of Godel algebras, play a major r ¨ ole in mathematical fuzzy logic. The category of finite Godel algebras and their homomorphisms is dually equivalent to the category FF of finite forests and order-preserving open maps. The combinatorial nature of FF allows to reduce the usually difficult problem of computing coproducts of algebras and their cardinalities to the combinatorial problem of computing products of finite forests. In this paper we propose a neat, purely combinatorial, recursive formula to compute the product objects. Further, we formulate a dual equivalence between finite Godel ¨ Δ-algebras and a category of finite multisets of finite chains, and we provide recursive formulas to compute coproducts, and their cardinalities, in the categories of finite Godel hoops and of finite G ¨ odel ¨ Δ-algebras.
Recursive formulas to compute coproducts of finite goedel algebras and related structures / S. Aguzzoli, P. Codara - In: Fuzzy Systems (FUZZ-IEEE), 2016 IEEE International Conference on[s.l] : IEEE, 2016. - ISBN 9781509006267. - pp. 201-208 (( convegno Conference on Fuzzy Systems tenutosi a Vancouver nel 2016 [10.1109/FUZZ-IEEE.2016.7737688].
Recursive formulas to compute coproducts of finite goedel algebras and related structures
S. Aguzzoli;P. Codara
2016
Abstract
Godel logic and its algebraic semantics, namely, the variety of Godel algebras, play a major r ¨ ole in mathematical fuzzy logic. The category of finite Godel algebras and their homomorphisms is dually equivalent to the category FF of finite forests and order-preserving open maps. The combinatorial nature of FF allows to reduce the usually difficult problem of computing coproducts of algebras and their cardinalities to the combinatorial problem of computing products of finite forests. In this paper we propose a neat, purely combinatorial, recursive formula to compute the product objects. Further, we formulate a dual equivalence between finite Godel ¨ Δ-algebras and a category of finite multisets of finite chains, and we provide recursive formulas to compute coproducts, and their cardinalities, in the categories of finite Godel hoops and of finite G ¨ odel ¨ Δ-algebras.File | Dimensione | Formato | |
---|---|---|---|
F-16465.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
239.49 kB
Formato
Adobe PDF
|
239.49 kB | 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.