Search the dblp DataBase

Publications of Author

1. Roberto Cignoli, Antoni Torrens
   Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:4, pp:361-370 [Journal]
   
2. Roberto Cignoli, Antoni Torrens
   Free Stone algebras. [Citation Graph (0, 0)][DBLP]
   Discrete Mathematics, 2000, v:222, n:1-3, pp:251-257 [Journal]
   
3. Roberto Cignoli, Francesc Esteva, Lluis Godo, Franco Montagna
   On a class of left-continuous t-norms. [Citation Graph (0, 0)][DBLP]
   Fuzzy Sets and Systems, 2002, v:131, n:3, pp:283-296 [Journal]
   
4. Xavier Caicedo, Roberto Cignoli
   An Algebraic Approach to Intuitionistic Connectives. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:4, pp:1620-1636 [Journal]
   
5. Petr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera
   On Product Logic with Truth-constants. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:2, pp:205-225 [Journal]
   
6. Roberto Cignoli, Antoni Torrens
   Glivenko like theorems in natural expansions of BCK-logic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:111-125 [Journal]
   
7. Roberto Cignoli
   Free Q-distributive lattices. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1996, v:56, n:1/2, pp:23-29 [Journal]
   
8. Roberto Cignoli, Daniele Mundici
   An Elementary Proof of Chang`s Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1997, v:58, n:1, pp:79-97 [Journal]
   
9. Roberto Cignoli, Daniele Mundici
   An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:1, pp:49-64 [Journal]
   
10. Roberto Cignoli, Francesc Esteva, Lluis Godo, Antoni Torrens
    Basic Fuzzy Logic is the logic of continuous t-norms and their residua. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2000, v:4, n:2, pp:106-112 [Journal]
    
11. Roberto Cignoli, Antoni Torrens
    Standard completeness of Hájek basic logic and decompositions of BL-chains. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2005, v:9, n:12, pp:862-868 [Journal]
    
12. Roberto Cignoli
    The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:69-83 [Conf]
    
13. Roberto Cignoli
    Quantifiers on distributive lattices. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1991, v:96, n:3, pp:183-197 [Journal]
    
14. 
    On Lukasiewicz Logic with Truth Constants. [Citation Graph (, )][DBLP]
    
    
15. 
    Commutative integral bounded residuated lattices with an added involution. [Citation Graph (, )][DBLP]