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:
  • Approximate Reasoning and Soft computing
  • Probability Logic
  • Algebraic logic
  • Fuzzy Logic
  • Modal Logic
  • Approximate Reasoning and Soft computing
  • Probability Logic
  • Algebraic logic
  • Fuzzy Logic
  • Modal Logic
Impact areas:
SDGs:
In Press
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (In Press). How to believe long conjunctions of beliefs: probability, quasi-dogmatism and contextualism. Erkenntnis. https://doi.org/https://philarchive.org/rec/BONHTB-3. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (In Press). 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 (In Press). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2020.12.023. [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]
Stefano Bonzio,  Tommaso Flaminio,  & Paolo Galeazzi (2019). Sure-Wins Under Coherence: A Geometrical Perspective. European Conference on Symbolic and Quantitative Approaches with Uncertainty - ECSQARU 2019 (pp. 363--373). Springer. https://doi.org/https://link.springer.com/chapter/10.1007%2F978-3-030-29765-7_30. [BibTeX]  [PDF]
Tommaso Flaminio (2019). Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Gabriele Kern{-}Isberner, & Zoran Ognjanovic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (pp. 397--407). Springer. https://doi.org/10.1007/978-3-030-29765-7\_33. [BibTeX]
2018
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2018). Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218]. International Journal of Approximate Reasoning, 103, 267-269. https://doi.org/https://www.sciencedirect.com/science/article/pii/S0888613X18304481?via%3Dihub. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2018). On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018) (pp. 43-46). University of Bern. https://doi.org/http://www.latd2018.unibe.ch/LATD2018_Proceedings.pdf. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2018). Towards a probability theory for product logic: states, integral representation and reasoning. Internationa Journal of Approximate Reasoning, 93, 199-218. https://doi.org/https://www.sciencedirect.com/science/article/pii/S0888613X17302360. [BibTeX]  [PDF]
2017
Tommaso Flaminio,  & Lluís Godo (2017). Layers for zero-probability and stable coherence over Lukasiewicz events. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 21, 113-123. https://doi.org/http://link.springer.com/article/10.1007%2Fs00500-016-2233-8. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2017). On Boolean Algebras of Conditionals and Their Logical Counterpart. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017 (pp. 246-256). Springer. https://doi.org/https://link.springer.com/chapter/10.1007/978-3-319-61581-3_23. [BibTeX]  [PDF]