29 citations · 50 across the 13 of their papers we have counts for
13 papers
Conditionals Based on Selection Functions, Modal Operators and Probabilities
Tommaso Flaminio, Lluis Godo, Gluliano Rosella
Methods for probability updating, of which Bayesian conditionalization is the most well-known and widely used, are modeling tools that aim to represent the process of modifying an…
On Lockean beliefs that are deductively closed and minimal change
Tommaso Flaminio, Lluis Godo, Ramón Pino Pérez +1
Within the formal setting of the Lockean thesis, an agent belief set is defined in terms of degrees of confidence and these are described in probabilistic terms. This approach is o…
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…
Rotations of Gödel algebras with modal operators
Tommaso Flaminio, Lluis Godo, Paula Menchón +1
The present paper is devoted to study the effect of connected and disconnected rotations of Gödel algebras with operators grounded on directly indecomposable structures. The struct…
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…
Querying with Łukasiewicz logic
Stefano Aguzzoli, Pietro Codara, Tommaso Flaminio +2
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using form…