Polyhedral Completeness of Intermediate Logics: the nerve criterion. - Adam-Day, Sam; Bezhanishvili, Nick; Gabelaia, David; Marra, Vincenzo (J. Symb. Log., 2024)

Tarski's theorem on intuitionistic logic, for polyhedra. - Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea (Ann. Pure Appl. Log., 2018)

Mammographic density: Comparison of visual assessment with fully automatic calculation on a multivendor dataset. - Sacchetto, Daniela; Morra, Lia; Agliozzo, Silvano; Bernardi, Daniela; Björklund, Tomas; Brancato, Beniamino; Bravetti, Patrizia; Carbonaro, Luca A.; Correale, Loredana; Fantò, Carmen; Favettini, Elisabetta; Martincich, Laura; et al. (CoRR, 2018)

Generalised states: a multi-sorted algebraic approach to probability. - Kroupa, Tomás; Marra, Vincenzo (Soft Comput., 2017)

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (Fuzzy Sets Syst., 2014)

International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic". - Aguzzoli, Stefano; Ciucci, Davide; Marra, Vincenzo (Int. J. Approx. Reason., 2014)

Patch Clamp Technique. - Nowotny, Thomas; Marra, Vincenzo (2014)

Valuations in Gödel Logic, and the Euler Characteristic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (CoRR, 2014)

An Analysis of Ruspini Partitions in Gödel Logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (CoRR, 2014)

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. - Marra, Vincenzo; Spada, Luca (Ann. Pure Appl. Log., 2013)

Idempotent generated algebras and Boolean powers of commutative rings. - Bezhanishvili, Guram; Marra, Vincenzo; Morandi, Patrick J.; Olberding, Bruce (2013)

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. - Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea (2013)

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. - Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea (2013)

Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Springer, 2013)

Two principles in many-valued logic. - Aguzzoli, Stefano; Marra, Vincenzo (CoRR, 2013)

Valuations in Gödel Logic, and the Euler Characteristic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (J. Multiple Valued Log. Soft Comput., 2012)

The Dual Adjunction between MV-algebras and Tychonoff Spaces. - Marra, Vincenzo; Spada, Luca (Stud Logica, 2012)

Many-valued logic: beyond algebraic semantics. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (Soft Comput., 2012)

The logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (CoRR, 2012)

Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (J. Log. Comput., 2011)

Computing Minimal Axiomatizations in Gödel Propositional Logic. - Aguzzoli, Stefano; D'Antona, Ottavio M.; Marra, Vincenzo (J. Log. Comput., 2011)

Łukasiewicz Logic: An Introduction. - Marra, Vincenzo (2011)

Finitely Presented MV-algebras with Finite Automorphism Group. - Aguzzoli, Stefano; Marra, Vincenzo (J. Log. Comput., 2010)

Algebra and Probability in Many-Valued Reasoning. - Leustean, Ioana; Marra, Vincenzo (Stud Logica, 2010)

A logical analysis of Mamdani-type fuzzy inference, I theoretical bases. - Bova, Simone; Codara, Pietro; Maccari, Daniele; Marra, Vincenzo (2010)

A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets. - Bova, Simone; Codara, Pietro; Maccari, Daniele; Marra, Vincenzo (2010)

The Automorphism Group of Finite Godel Algebras. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (2010)

The Euler Characteristic of a Formula in Godel Logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (2010)

An analysis of Ruspini partitions in Gödel logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (Int. J. Approx. Reason., 2009)

A Temporal Semantics for Basic Logic. - Aguzzoli, Stefano; Bianchi, Matteo; Marra, Vincenzo (Stud Logica, 2009)

Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (2009)

Open Partitions and Probability Assignments in Gödel Logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (2009)

A characterisation of bases of triangular fuzzy sets. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (2009)

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. - Aguzzoli, Stefano; Bova, Simone; Marra, Vincenzo (2009)

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

Gödel algebras free over finite distributive lattices. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (Ann. Pure Appl. Log., 2008)

De Finetti's No-Dutch-Book Criterion for Gödel logic. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (Stud Logica, 2008)

Defuzzifying formulas in Gödel logic through finitely additive measures. - Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo (2008)

Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications. - Aguzzoli, Stefano; Busaniche, Manuela; Marra, Vincenzo (J. Log. Comput., 2007)

Best Approximation of Ruspini Partitions in Gödel Logic. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (2007)

Propositional Goedel Logic and Delannoy Paths. - Codara, Pietro; D'Antona, Ottavio M.; Marra, Vincenzo (2007)

Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday (Springer, 2007)

Computing coproducts of finitely presented Gödel algebras. - D'Antona, Ottavio M.; Marra, Vincenzo (Ann. Pure Appl. Log., 2006)

Brun Normal Forms for Co-atomic Lukasiewicz Logics. - Aguzzoli, Stefano; D'Antona, Ottavio M.; Marra, Vincenzo (2005)

Consequence and Complexity in Infinite-Valued Logic: A Survey. - Marra, Vincenzo; Mundici, Daniele (2002)