2009 |
11 | EE | Stefano Aguzzoli,
Simone Bova,
Vincenzo Marra:
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
LFCS 2009: 1-15 |
2008 |
10 | EE | Stefano Aguzzoli,
Brunella Gerla,
Vincenzo Marra:
Gödel algebras free over finite distributive lattices.
Ann. Pure Appl. Logic 155(3): 183-193 (2008) |
9 | EE | Vincenzo Marra:
A characterization of MV-algebras free over finite distributive lattices.
Arch. Math. Log. 47(3): 263-276 (2008) |
8 | EE | Stefano Aguzzoli,
Brunella Gerla,
Vincenzo Marra:
De Finetti's No-Dutch-Book Criterion for Gödel logic.
Studia Logica 90(1): 25-41 (2008) |
2007 |
7 | | Stefano Aguzzoli,
Agata Ciabattoni,
Brunella Gerla,
Corrado Manara,
Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Springer 2007 |
6 | EE | Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra:
Best Approximation of Ruspini Partitions in Gödel Logic.
ECSQARU 2007: 161-172 |
5 | EE | Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra:
Propositional Goedel Logic and Delannoy Paths.
FUZZ-IEEE 2007: 1-5 |
4 | EE | Stefano Aguzzoli,
Manuela Busaniche,
Vincenzo Marra:
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.
J. Log. Comput. 17(4): 749-765 (2007) |
2006 |
3 | EE | Ottavio M. D'Antona,
Vincenzo Marra:
Computing coproducts of finitely presented Gödel algebras.
Ann. Pure Appl. Logic 142(1-3): 202-211 (2006) |
2005 |
2 | EE | Stefano Aguzzoli,
Ottavio M. D'Antona,
Vincenzo Marra:
Brun Normal Forms for Co-atomic Lukasiewicz Logics.
ECSQARU 2005: 650-661 |
2002 |
1 | EE | Vincenzo Marra,
Daniele Mundici:
Consequence and Complexity in Infinite-Valued Logic: A Survey.
ISMVL 2002: 104- |