Corrado Manara

  • Citations Per Year
Learn More
MTL is the logic of all left-continuous t-norms and their residua. Its algebraic semantics is constituted by the variety V(MTL) of MTL-algebras. Among schematic extensions of MTL there are infinitevalued logics L such that the finitely generated free algebras in the corresponding subvariety V(L) of V(MTL) are finite. In this paper we focus on Gödel and(More)
We define the entropy, lower and upper entropy, and the conditional entropy of a dy­ namical system consisting of an effect algebra with the Riesz decomposition property, a state, and a transformation. Such effect algebras allow many refinements of two partitions. We present the basic properties of these entropies and these notions are illustrated by many(More)
Baker-Beynon duality theory yields a concrete representation of any finitely generated projective Abelian lattice-ordered group G in terms of piecewise linear homogeneous functions with integer coefficients, defined over the support |Σ| of a fan Σ. A unimodular fan ∆ over |Σ| determines a Schauder basis ofG: its elements are the minimal positive free(More)
*Università degli Studi di Milano Dipartimento di Scienze dell'Informazione Via Comelico 39, 20135 Milano, Italy E-mail: aguzzoli@dsi.unimi.it **Università degli Studi di Milano Dipartimento di Informatica e Comunicazione Via Comelico 39, 20135 Milano, Italy E-mail: besozzi@dico.unimi.it ***Università degli Studi di Salerno Dipartimento di Matematica e(More)
We continue the study of entropy. In Part I, we have introduced basic properties of entropy. Here we concentrate mainly on the state space which allows us to understand the entropy better, Section 8, and we introduce also quotient effect algebras. Section 9 studies shortly the problem of a so-called entropy generator theorem for effect algebras or(More)
  • 1