Vincenzo Marra

45 papers B 5C 4Misc 1Journal 25Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
2018	J	`jnl`	Mammographic density: Comparison of visual assessment with fully automatic calculation on a multivendor dataset. CoRR 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
2018	J	`jnl`	Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini
2017	J	`jnl`	Generalised states: a multi-sorted algebraic approach to probability. Soft Comput. Tomás Kroupa, Vincenzo Marra
2014	J	`jnl`	An Analysis of Ruspini Partitions in Gödel Logic. CoRR Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2014	J	`jnl`	International Journal of Approximate Reasoning Special Issue on "Rough Sets and Logic". Int. J. Approx. Reason. Stefano Aguzzoli, Davide Ciucci, Vincenzo Marra
2014	—	`ch.`	Patch Clamp Technique. Encyclopedia of Computational Neuroscience Thomas Nowotny, Vincenzo Marra
2014	J	`jnl`	The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. Fuzzy Sets Syst. Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2014	J	`jnl`	Valuations in Gödel Logic, and the Euler Characteristic. CoRR Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2013	J	`jnl`	Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Ann. Pure Appl. Log. Vincenzo Marra, Luca Spada
2013	—	`conf`	Idempotent generated algebras and Boolean powers of commutative rings. TACL Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding
2013	—	`ed.`	Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers TbiLLC Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter
2013	—	`conf`	Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. TACL Vincenzo Marra, Daniel McNeill, Andrea Pedrini
2013	—	`conf`	Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. TACL Vincenzo Marra, Daniel McNeill, Andrea Pedrini
2013	J	`jnl`	Two principles in many-valued logic. CoRR Stefano Aguzzoli, Vincenzo Marra
2012	J	`jnl`	Many-valued logic: beyond algebraic semantics. Soft Comput. Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2012	J	`jnl`	The Dual Adjunction between MV-algebras and Tychonoff Spaces. Stud Logica Vincenzo Marra, Luca Spada
2012	J	`jnl`	The logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic CoRR Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2012	J	`jnl`	Valuations in Gödel Logic, and the Euler Characteristic. J. Multiple Valued Log. Soft Comput. Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2011	J	`jnl`	Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic. J. Log. Comput. Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2011	J	`jnl`	Computing Minimal Axiomatizations in Gödel Propositional Logic. J. Log. Comput. Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
2011	—	`conf`	Łukasiewicz Logic: An Introduction. TbiLLC Vincenzo Marra
2010	B	`conf`	A logical analysis of Mamdani-type fuzzy inference, I theoretical bases. FUZZ-IEEE Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
2010	B	`conf`	A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets. FUZZ-IEEE Simone Bova, Pietro Codara, Daniele Maccari, Vincenzo Marra
2010	J	`jnl`	Algebra and Probability in Many-Valued Reasoning. Stud Logica Ioana Leustean, Vincenzo Marra
2010	J	`jnl`	Finitely Presented MV-algebras with Finite Automorphism Group. J. Log. Comput. Stefano Aguzzoli, Vincenzo Marra
2010	—	`conf`	The Automorphism Group of Finite Godel Algebras. ISMVL Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2010	—	`conf`	The Euler Characteristic of a Formula in Godel Logic. ISMVL Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2009	J	`jnl`	A Temporal Semantics for Basic Logic. Stud Logica Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra
2009	B	`conf`	A characterisation of bases of triangular fuzzy sets. FUZZ-IEEE Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2009	C	`conf`	Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms. ECSQARU Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2009	J	`jnl`	An analysis of Ruspini partitions in Gödel logic. Int. J. Approx. Reason. Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2009	Misc	`conf`	Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS Stefano Aguzzoli, Simone Bova, Vincenzo Marra
2009	C	`conf`	Open Partitions and Probability Assignments in Gödel Logic. ECSQARU Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2008	J	`jnl`	A characterization of MV-algebras free over finite distributive lattices. Arch. Math. Log. Vincenzo Marra
2008	J	`jnl`	De Finetti's No-Dutch-Book Criterion for Gödel logic. Stud Logica Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2008	B	`conf`	Defuzzifying formulas in Gödel logic through finitely additive measures. FUZZ-IEEE Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2008	J	`jnl`	Gödel algebras free over finite distributive lattices. Ann. Pure Appl. Log. Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra
2007	—	`ed.`	Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Algebraic and Proof-theoretic Aspects of Non-classical Logics Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra
2007	C	`conf`	Best Approximation of Ruspini Partitions in Gödel Logic. ECSQARU Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2007	B	`conf`	Propositional Goedel Logic and Delannoy Paths. FUZZ-IEEE Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
2007	J	`jnl`	Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications. J. Log. Comput. Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra
2006	J	`jnl`	Computing coproducts of finitely presented Gödel algebras. Ann. Pure Appl. Log. Ottavio M. D'Antona, Vincenzo Marra
2005	C	`conf`	Brun Normal Forms for Co-atomic Lukasiewicz Logics. ECSQARU Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
2002	—	`conf`	Consequence and Complexity in Infinite-Valued Logic: A Survey. ISMVL Vincenzo Marra, Daniele Mundici