Vincenzo Marra

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Liver Segmentation

Mammographic Images

Top Venues

Int. J. Approx. Reason.

Publications

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89 (1) (2024)
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. 169 (5) (2018)
Daniela Sacchetto, Lia Morra, Silvano Agliozzo, Daniela Bernardi, Tomas Björklund, Beniamino Brancato, Patrizia Bravetti, Luca A. Carbonaro, Loredana Correale, Carmen Fantò, Elisabetta Favettini, Laura Martincich, Luisella Milanesio, Sara Mombelloni, Francesco Monetti, Doralba Morrone, Marco Pellegrini, Barbara Pesce, Antonella Petrillo, Gianni Saguatti, Carmen Stevanin, Rubina M. Trimboli, Paola Tuttobene, Marvi Valentini, Vincenzo Marra, Alfonso Frigerio, Alberto Bert, Francesco Sardanelli
Mammographic density: Comparison of visual assessment with fully automatic calculation on a multivendor dataset. CoRR (2018)
Tomás Kroupa, Vincenzo Marra
Generalised states: a multi-sorted algebraic approach to probability. Soft Comput. 21 (1) (2017)
Stefano Aguzzoli, Davide Ciucci, Vincenzo Marra
International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic". Int. J. Approx. Reason. 55 (1) (2014)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. Fuzzy Sets Syst. 247 (2014)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Valuations in Gödel Logic, and the Euler Characteristic. CoRR (2014)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
An Analysis of Ruspini Partitions in Gödel Logic. CoRR (2014)
Vincenzo Marra, Luca Spada
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Ann. Pure Appl. Log. 164 (3) (2013)
Stefano Aguzzoli, Vincenzo Marra
Two principles in many-valued logic. CoRR (2013)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. TACL (2013)
Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding
Idempotent generated algebras and Boolean powers of commutative rings. TACL (2013)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. TACL (2013)
Vincenzo Marra, Luca Spada
The Dual Adjunction between MV-algebras and Tychonoff Spaces. Stud Logica 100 (1-2) (2012)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
The logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic CoRR (2012)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Valuations in Gödel Logic, and the Euler Characteristic. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
Many-valued logic: beyond algebraic semantics. Soft Comput. 16 (11) (2012)
Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
Computing Minimal Axiomatizations in Gödel Propositional Logic. J. Log. Comput. 21 (5) (2011)
Vincenzo Marra
Łukasiewicz Logic: An Introduction. TbiLLC (2011)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic. J. Log. Comput. 21 (3) (2011)
Stefano Aguzzoli, Vincenzo Marra
Finitely Presented MV-algebras with Finite Automorphism Group. J. Log. Comput. 20 (4) (2010)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
The Euler Characteristic of a Formula in Godel Logic. ISMVL (2010)
Ioana Leustean, Vincenzo Marra
Algebra and Probability in Many-Valued Reasoning. Stud Logica 94 (2) (2010)
Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets. FUZZ-IEEE (2010)
Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
A logical analysis of Mamdani-type fuzzy inference, I theoretical bases. FUZZ-IEEE (2010)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
The Automorphism Group of Finite Godel Algebras. ISMVL (2010)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Open Partitions and Probability Assignments in Gödel Logic. ECSQARU (2009)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
A characterisation of bases of triangular fuzzy sets. FUZZ-IEEE (2009)
Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra
A Temporal Semantics for Basic Logic. Stud Logica 92 (2) (2009)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms. ECSQARU (2009)
Stefano Aguzzoli, Simone Bova, Vincenzo Marra
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS (2009)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
An analysis of Ruspini partitions in Gödel logic. Int. J. Approx. Reason. 50 (6) (2009)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
Gödel algebras free over finite distributive lattices. Ann. Pure Appl. Log. 155 (3) (2008)
Vincenzo Marra
A characterization of MV-algebras free over finite distributive lattices. Arch. Math. Log. 47 (3) (2008)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
De Finetti's No-Dutch-Book Criterion for Gödel logic. Stud Logica 90 (1) (2008)
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
Defuzzifying formulas in Gödel logic through finitely additive measures. FUZZ-IEEE (2008)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Best Approximation of Ruspini Partitions in Gödel Logic. ECSQARU (2007)
Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications. J. Log. Comput. 17 (4) (2007)
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Propositional Goedel Logic and Delannoy Paths. FUZZ-IEEE (2007)
Ottavio M. D'Antona, Vincenzo Marra
Computing coproducts of finitely presented Gödel algebras. Ann. Pure Appl. Log. 142 (1-3) (2006)
Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
Brun Normal Forms for Co-atomic Lukasiewicz Logics. ECSQARU (2005)
Vincenzo Marra, Daniele Mundici
Consequence and Complexity in Infinite-Valued Logic: A Survey. ISMVL (2002)