29 citations · 50 across the 13 of their papers we have counts for
9 papers · 1 filter
Generalization of terms via universal algebra
Tommaso Flaminio, Sara Ugolini
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key…
Encoding de Finetti's coherence within Lukasiewicz logic and MV-algebras
Tommaso Flaminio, Sara Ugolini
The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodolo…
Compound conditionals as random quantities and Boolean algebras
Tommaso Flaminio, Angelo Gilio, Lluis Godo +1
Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalized from different angles. In this paper we focus on the…
Algebras and relational frames for Gödel modal logic and some of its extensions
Tommaso Flaminio, Lluis Godo, Paula Menchón +1
Gödel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for Gödel mo…
Three characterizations of strict coherence on infinite-valued events
Tommaso Flaminio
This paper builds on a recent article co-authored by the present author, H. Hosni and F. Montagna. It is meant to contribute to the logical foundations of probability theory on man…
On the expressive power of Lukasiewicz's square operator
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio +1
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: , where is the strong Lukasiewicz conjunction. In part…
Boolean algebras of conditionals, probability and logic
Tommaso Flaminio, Lluis Godo, Hykel Hosni
This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a cons…
Hyperstates of Involutive MTL-Algebras that Satisfy
Tommaso Flaminio, Sara Ugolini
States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of…
Toward a probability theory for product logic: states, integral representation and reasoning
Tommaso Flaminio, Lluis Godo, Sara Ugolini
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely a…