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