Vincenzo Marra

Orcid: 0000-0002-0727-4616

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Polyhedral Completeness of Intermediate Logics: the nerve criterion.
J. Symb. Log., 2024

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

Tarski's theorem on intuitionistic logic, for polyhedra.
Ann. Pure Appl. Log., 2018

2017
Generalised states: a multi-sorted algebraic approach to probability.
Soft Comput., 2017

2014
Patch Clamp Technique.
Proceedings of the Encyclopedia of Computational Neuroscience, 2014

International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic".
Int. J. Approx. Reason., 2014

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic.
Fuzzy Sets Syst., 2014

2013
Two principles in many-valued logic.
CoRR, 2013

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.
Ann. Pure Appl. Log., 2013

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2.
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.
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.
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.
Soft Comput., 2012

The Dual Adjunction between MV-algebras and Tychonoff Spaces.
Stud Logica, 2012

Valuations in Gödel Logic, and the Euler Characteristic.
J. Multiple Valued Log. Soft Comput., 2012

2011
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.
J. Log. Comput., 2011

Computing Minimal Axiomatizations in Gödel Propositional Logic.
J. Log. Comput., 2011

Łukasiewicz Logic: An Introduction.
Proceedings of the Logic, Language, and Computation, 2011

2010
Algebra and Probability in Many-Valued Reasoning.
Stud Logica, 2010

Finitely Presented MV-algebras with Finite Automorphism Group.
J. Log. Comput., 2010

The Euler Characteristic of a Formula in Godel Logic.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

The Automorphism Group of Finite Godel Algebras.
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.
Proceedings of the FUZZ-IEEE 2010, 2010

A logical analysis of Mamdani-type fuzzy inference, I theoretical bases.
Proceedings of the FUZZ-IEEE 2010, 2010

2009
A Temporal Semantics for Basic Logic.
Stud Logica, 2009

An analysis of Ruspini partitions in Gödel logic.
Int. J. Approx. Reason., 2009

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

A characterisation of bases of triangular fuzzy sets.
Proceedings of the FUZZ-IEEE 2009, 2009

Open Partitions and Probability Assignments in Gödel Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008
De Finetti's No-Dutch-Book Criterion for Gödel logic.
Stud Logica, 2008

Gödel algebras free over finite distributive lattices.
Ann. Pure Appl. Log., 2008

A characterization of MV-algebras free over finite distributive lattices.
Arch. Math. Log., 2008

Defuzzifying formulas in Gödel logic through finitely additive measures.
Proceedings of the FUZZ-IEEE 2008, 2008

2007
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.
J. Log. Comput., 2007

Propositional Goedel Logic and Delannoy Paths.
Proceedings of the FUZZ-IEEE 2007, 2007

Best Approximation of Ruspini Partitions in Gödel Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006
Computing coproducts of finitely presented Gödel algebras.
Ann. Pure Appl. Log., 2006

2005
Brun Normal Forms for Co-atomic Lukasiewicz Logics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2002
Consequence and Complexity in Infinite-Valued Logic: A Survey.
Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002


  Loading...