Vincenzo Marra

According to our database, Vincenzo Marra authored at least 40 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polyhedral Completeness of Intermediate Logics: the nerve criterion.

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra

J. Symb. Log., 2024

2018

Mammographic density: Comparison of visual assessment with fully automatic calculation on a multivendor dataset.

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

CoRR, 2018

Tarski's theorem on intuitionistic logic, for polyhedra.

Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini

Ann. Pure Appl. Log., 2018

2017

Generalised states: a multi-sorted algebraic approach to probability.

Tomás Kroupa, Vincenzo Marra

Soft Comput., 2017

2014

Patch Clamp Technique.

Thomas Nowotny, Vincenzo Marra

Proceedings of the Encyclopedia of Computational Neuroscience, 2014

International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic".

Stefano Aguzzoli, Davide Ciucci, Vincenzo Marra

Int. J. Approx. Reason., 2014

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Fuzzy Sets Syst., 2014

2013

Two principles in many-valued logic.

Stefano Aguzzoli, Vincenzo Marra

CoRR, 2013

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

Vincenzo Marra, Luca Spada

Ann. Pure Appl. Log., 2013

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2.

Vincenzo Marra, Daniel McNeill, Andrea Pedrini

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1.

Vincenzo Marra, Daniel McNeill, Andrea Pedrini

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Idempotent generated algebras and Boolean powers of commutative rings.

Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Many-valued logic: beyond algebraic semantics.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Soft Comput., 2012

The Dual Adjunction between MV-algebras and Tychonoff Spaces.

Vincenzo Marra, Luca Spada

Stud Logica, 2012

Valuations in Gödel Logic, and the Euler Characteristic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

J. Multiple Valued Log. Soft Comput., 2012

2011

Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

J. Log. Comput., 2011

Computing Minimal Axiomatizations in Gödel Propositional Logic.

Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra

J. Log. Comput., 2011

Łukasiewicz Logic: An Introduction.

Vincenzo Marra

Proceedings of the Logic, Language, and Computation, 2011

2010

Algebra and Probability in Many-Valued Reasoning.

Ioana Leustean, Vincenzo Marra

Stud Logica, 2010

Finitely Presented MV-algebras with Finite Automorphism Group.

Stefano Aguzzoli, Vincenzo Marra

J. Log. Comput., 2010

The Euler Characteristic of a Formula in Godel Logic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

The Automorphism Group of Finite Godel Algebras.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets.

Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra

Proceedings of the FUZZ-IEEE 2010, 2010

A logical analysis of Mamdani-type fuzzy inference, I theoretical bases.

Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra

Proceedings of the FUZZ-IEEE 2010, 2010

2009

A Temporal Semantics for Basic Logic.

Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra

Stud Logica, 2009

An analysis of Ruspini partitions in Gödel logic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Int. J. Approx. Reason., 2009

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.

Stefano Aguzzoli, Simone Bova, Vincenzo Marra

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

A characterisation of bases of triangular fuzzy sets.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the FUZZ-IEEE 2009, 2009

Open Partitions and Probability Assignments in Gödel Logic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

De Finetti's No-Dutch-Book Criterion for Gödel logic.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Stud Logica, 2008

Gödel algebras free over finite distributive lattices.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Ann. Pure Appl. Log., 2008

A characterization of MV-algebras free over finite distributive lattices.

Vincenzo Marra

Arch. Math. Log., 2008

Defuzzifying formulas in Gödel logic through finitely additive measures.

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra

Proceedings of the FUZZ-IEEE 2008, 2008

2007

Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.

Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra

J. Log. Comput., 2007

Propositional Goedel Logic and Delannoy Paths.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the FUZZ-IEEE 2007, 2007

Best Approximation of Ruspini Partitions in Gödel Logic.

Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

Computing coproducts of finitely presented Gödel algebras.

Ottavio M. D'Antona, Vincenzo Marra

Ann. Pure Appl. Log., 2006

2005

Brun Normal Forms for Co-atomic Lukasiewicz Logics.

Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2002

Consequence and Complexity in Infinite-Valued Logic: A Survey.

Vincenzo Marra, Daniele Mundici

Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002