Our paper “Strict Coherence on Many-Valued Events” is now downloadable from the JSL homepage.
First week in Campinas (São Paulo, Brazil) for a one month visit to the Centre for Logic, Epistemology and History of Science. The work here is focusing on determining a term-equivalent (unary and easier to interpret) fragments of Lukasiewicz finite-valued logics which could capture paraconsistent properties. It’s funny, some arithmetic, prime numbers, and little bit of algebra at work. When we do not work, I use to have a walk. It’s summer here and wherever I look, I see mangoes.
Tommaso Flaminio, Lluis Godo
The notion of stable coherence has been recently introduced to characterize coherent assignments to conditional many-valued events by means of hyperreal-valued states. In a nutshell, an assignment, or book, on a finite set of conditional events is stably coherent if there exists a coherent variant of such that maps all antecedents of conditional events to a strictly positive hyperreal number, and such that and differ by an infinitesimal. In this paper, we provide a characterization of stable coherence in terms of layers of zero probability for books on Łukasiewicz logic events.
Keywords: Layers of zero probability, Conditional probability, Stable coherence MV-algebras.
, Volume 21, Issue 1, pp. 113–123.
Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini
This article studies the class of strongly perfect MTL-algebras, i.e. MTL-algebras having an involutive co-radical, and the variety they generate, namely. Once these structures will be introduced, we will first establish categorical equivalences for several of their relevant proper subvarieties by employing a generalized notion of triplets whose main components are a Boolean algebra and a prelinear semihoop. When triplets are further expanded by a suitable operation between their semihoop reducts, we define a category of quadruples that are equivalent to the whole category of SBP0-algebras. Finally, we will provide an explicit representation of SBP -algebras in terms of (weak) Boolean products.
Keywords: Strongly perfect MTL-algebras, Boolean Algebras, Prelinear Semihoops, Categorical Equivalence