Counting Homomorphisms Between Finite Gödel Algebras
摘要
The algebraic semantics of propositional Gödel logic is given by the variety of Gödel algebras, that is, prelinear Heyting algebras, or, equivalently, idempotent BL (or MTL) algebras. In this work we provide a recurrence that allows to compute the number of homomorphisms between finite Gödel algebras. We then show that the same recurrence can be used to compute the cardinality of the hom-sets also for the finite members of other varieties of algebras related to many-valued logics.