Search the dblp DataBase

Publications of Author

1. Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra
   Brun Normal Forms for Co-atomic Lukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 2005, pp:650-661 [Conf]
   
2. Vincenzo Marra, Daniele Mundici
   Consequence and Complexity in Infinite-Valued Logic: A Survey. [Citation Graph (0, 0)][DBLP]
   ISMVL, 2002, pp:104-0 [Conf]
   
3. Ottavio M. D'Antona, Vincenzo Marra
   Computing coproducts of finitely presented Gödel algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:202-211 [Journal]
   
4. Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
   Best Approximation of Ruspini Partitions in Gödel Logic. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 2007, pp:161-172 [Conf]
   
5. 
   Open Partitions and Probability Assignments in Gödel Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms. [Citation Graph (, )][DBLP]
   
   
7. 
   Propositional Goedel Logic and Delannoy Paths. [Citation Graph (, )][DBLP]
   
   
8. 
   The Euler Characteristic of a Formula in Godel Logic. [Citation Graph (, )][DBLP]
   
   
9. 
   The Automorphism Group of Finite Godel Algebras. [Citation Graph (, )][DBLP]
   
   
10. 
    Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. [Citation Graph (, )][DBLP]
    
    
11. 
    A characterization of MV-algebras free over finite distributive lattices. [Citation Graph (, )][DBLP]
    
    
12. 
    Gödel algebras free over finite distributive lattices. [Citation Graph (, )][DBLP]