Papers in journals

  1. ​Baker-Beynon duality beyond semisimplicity, coauthored with Luca Carai and Luca Spada, Journal of Algebra 694 (2026) 730-781 https://doi.org/10.1016/j.jalgebra.2026.02.002.
  2. Computational complexity of satisfiability problems in Lukasiewicz logic, coauthored with Sebastiano Napolitano, Fuzzy Sets and Systems 527 (2026) 109664.
  3. Unimodular Triangulations in Lukasiewicz Logic: Complexity Bounds of Probabilistic Coherence, coauthored withTommaso Flaminio and Sebastiano Napolitano, International Journal of Approximate Reasoning 187 (2025) 109565, doi: https://doi.org/10.1016/j.ijar.2025.109565
  4. Relative ideals in homological categories, with an application to MV-algebras, coauthored with G. Metere and L. Spada. Theory and Application of Categories 41(27) (2024) 878-893.  arXiv:2208.12597
  5. ​Models, coproducts and exchangeability: notes on states on Baire function, coauthored with G. Lenzi,  Mathematica Slovaca 72(4) (2022) 847-868.​
  6. de Finetti's coherence and exchangeability in infinitary logic, S. Lapenta, International Journal of Approximate Reasoning  145 (2022) 36-50 DOI postprint​.​
  7. An approach to stochastic processes via non-classical logic, co-authored with Antonio Di Nola and Anatolij Dvurecenskij,  Annals of Pure and Applied Logic, 172(9) 2021 doi:10.1016/j.apal.2021.103012. postprint
  8. Dualities and algebraic geometry of Baire functions in Non-classical Logic, coauthored with A. Di Nola and G. Lenzi, Journal of Logic and Computation,  31(7) (2021) 1868–1890 doi:10.1093/logcom/exab037. postprint
  9. On the semisimple tensor product of MV-algebra, coauthored with Ioana Leustean, Fuzzy Sets and System 397 (2020) 140–151. preprint
  10. Some remarks on divisible polyhedral MV-algebras, Mathematica Slovaca, 70(1) (2020) 51-60. postprint
  11. Infinitary logic and basically disconnected compact Hausdorff spaces,  coauthored  with Antonio Di Nola and Ioana Leustean, Journal of Logic and Computation, 28(6) (2018) 1275-1292. Postprint avaliable here.​
  12. An analysis of the logic for Riesz Spaces with strong unit coauthored  with Antonio Di Nola and Ioana Leustean, Annals of Pure and Applied Logic, 169(3) (2018) 216-234. arXiv:1607.08030 [math.LO].​​
  13. Convex MV-algebras: Many-valued logics meet decision theory coauthored  with Tommaso Flaminio and Hykel Hosni, Studia Logica, 106(5) (2018) 913-945. Postprint avaliable here.​​
  14. Notes on divisible MV-algebras coauthored  with Ioana Leustean, arXiv:1605.01230 [math.LO],  Soft Computing  21(21) (2017) 6213-6223, arxiv:1605.01230v2 [math.LO]
  15. Scalar extension for algebraic structures of Lukasiewicz logic, coauthored  with Ioana Leustean, Journal of Pure and Applied Algebra, 220 (2016) 1538-1553 arXiv:1410.8298 [math.LO]​​
  16. Stochastic independence for probability MV-algebras, coauthored  with Ioana Leustean, Fuzzy Sets and Systems 298 (2016) 194-206 arXiv:1410.5658 [math.LO]
  17. Towards understanding the Pierce-Birkhoff conjecture via MV-algebras, coauthored  with Ioana Leustean, Fuzzy Sets and Systems 276 (2015) 114-130  arXiv:1410.5593v2 [math.LO]

Conference Proceedings

  1. Optimizing de Finetti’s Coherence: a Complexity Analysis, coauthored with Sebastiano Napolitano,  in: Vantaggi, B., et al. IPMU 2026. Communications in Computer and Information Science (3020) 219--232. Springer, Cham.
  2. Ideals in the two-sorted variety of equational states, coauthored with S. Napolitano and L. Spada. In: Massanet, S., Montes, S., Ruiz-Aguilera, D., González-Hidalgo, M. (eds) Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT AGOP 2023 2023. Lecture Notes in Computer Science, vol 14069. Springer, Cham. preprint
  3. A point-free approach to measurability and statistical models coauthored with A. Di Nola and G. Lenzi. In Proceedings of the 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023. In Proceedings of Machine Learning Research (215) 189-199.
  4. The logic FP(L,L) and two-sorted equational states, coauthored with L. Spada and S. Napolitano.  In Proceedings of the 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023. In Proceedings of Machine Learning Research (215) 280-287.

Book chapters

  1. A general view on normal form theorems for  Lukasiewicz logic with product, (with Ioana Leustean), Concepts of Proof in Mathematics, Philosophy, and Computer Science, Dieter Probst and Peter Schuster (eds.), Ontos Mathematical Logic 6,  Walter de Gruyter, Berlin. 215-228. preprint

Submitted papers and work in progress

​
  • An investigation into equational states: algebraic properties and computational complexity, with Sebastiano Napolitano and Luca Spada, in preparation.
  • The modal logic of weighted Markov chains, with Nick Bezhanishvili, Sebastiano Napolitano and Luca Spada, in preparation.​
  • Subvarieties of equational states, with Sebastiano Napolitano and Nick Galatos.