Tommaso
Tommaso
 
Flaminio
Flaminio

Tenured Scientist
Tenured Scientist


Tommaso
Tommaso
 
Flaminio
Flaminio
Tenured Scientist
Tenured Scientist

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
233
233
tommaso@iiia.csic.es
tommaso@iiia.csic.es
Research areas:
  • Fuzzy Logic
  • Probability Logic
  • Approximate Reasoning and Soft computing
  • Algebraic logic
  • Modal Logic
  • Nonmonotonic Reasoning
  • Fuzzy Logic
  • Probability Logic
  • Approximate Reasoning and Soft computing
  • Algebraic logic
  • Modal Logic
  • Nonmonotonic Reasoning
Impact areas:
SDGs:
In Press
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (In Press). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exab064. [BibTeX]  [PDF]
2021
Tommaso Flaminio,  & Lluís Godo (2021). A fuzzy probability logic for compound conditionals. XX Spanish Congress on Fuzzy Logic and Technologies (ESTYLF 20/21), Actas CAEPIA 20/21 (pp. 256-261). [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  Paula Menchón,  & Ricardo Oscar Rodríguez (2021). Algebras and relational frames for Godel modal logic and some of its extensions. CoRR, abs/2110.02528. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2021). Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals. Jirina Vejnarová, & Nic Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings (pp. 543--556). Springer. https://doi.org/10.1007/978-3-030-86772-0_39. [BibTeX]  [PDF]
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (2021). How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism. Erkenntnis. https://doi.org/10.1007/s10670-021-00389-7. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Logics of formal inconsistency based on distributive involutive residuated lattices. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exab029. [BibTeX]  [PDF]
Tommaso Flaminio (2021). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. Int. J. Approx. Reason., 131, 136--150. https://doi.org/10.1016/j.ijar.2020.12.023. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2021). Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison. Jirina Vejnarová, & Nic Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings (pp. 301--313). Springer. https://doi.org/10.1007/978-3-030-86772-0\_22. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Some Categorical Equivalences for Nelson Algebras with Consistency Operators. Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP) (pp. 420-426). Atlantis Press. https://doi.org/10.2991/asum.k.210827.056. [BibTeX]  [PDF]
Esther Anna Corsi,  Tommaso Flaminio,  & Hykel Hosni (2021). When Belief Functions and Lower Probabilities are Indistinguishable. A. Cano, J. De Bock, E. Miranda, & S. Moral (Eds.), Proceedings of the Twelveth International Symposium on Imprecise Probability: Theories and Applications (pp. 83--89). PMLR. https://doi.org/https://proceedings.mlr.press/v147/corsi21a.html. [BibTeX]  [PDF]
2020
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2020). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. https://doi.org/10.1016/j.artint.2020.103347. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2020). Degree-preserving companion of Nelson logic expanded with a consistency operator. Anais do I Workshop Brasileiro de Lógica (pp. 41--48). SBC. https://doi.org/10.5753/wbl.2020.11457. [BibTeX]  [PDF]
Tommaso Flaminio,  & Sara Ugolini (2020). Hyperstates of Involutive MTL-Algebras that Satisfy $(2x)^2=2(x^2)$. Shier Ju, Alessandra Palmigiano, & Minghui Ma (Eds.), Nonclassical Logics and Their Applications (pp. 1--14). Springer Singapore. [BibTeX]  [PDF]
Umberto Rivieccio,  Tommaso Flaminio,  & Thiago Nascimento (2020). On the representation of (weak) nilpotent minimum algebras. 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020 (pp. 1--8). IEEE. https://doi.org/10.1109/FUZZ48607.2020.9177641. [BibTeX]  [PDF]
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. https://doi.org/10.1017/S1755020319000546. [BibTeX]  [PDF]
2019
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Godel Algebras with Operators. 11th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-2019 (Book of Abstracts) (pp. 51). [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Gödel Algebras with Operators. 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019 (pp. 223-235). Springer. https://doi.org/10.1007/978-3-662-59533-6_14. [BibTeX]  [PDF]
Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). From Fuzzy Sets to Mathematical Fuzzy Logic. Archives for Soft Computing, 2, 26-59. https://doi.org/https://www.unipapress.it/it/book/aphsc-2--2019_214/. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). Godel algebras with operators and their logics. ManyVal 2019 - Book of Abstracts (pp. 44-45). [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics (pp. 66-69). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]