# Vincenzo Marra

According to our database

Collaborative distances:

^{1}, Vincenzo Marra authored at least 37 papers between 2002 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Tarski's theorem on intuitionistic logic, for polyhedra.

Ann. Pure Appl. Logic, 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. Reasoning, 2014

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

Fuzzy Sets and Systems, 2014

2013

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

Ann. Pure Appl. Logic, 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.

Studia Logica, 2012

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

Multiple-Valued Logic and Soft Computing, 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.

Studia 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.

Studia Logica, 2009

An analysis of Ruspini partitions in Gödel logic.

Int. J. Approx. Reasoning, 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.

Studia Logica, 2008

Gödel algebras free over finite distributive lattices.

Ann. Pure Appl. Logic, 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. Logic, 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