 | 2011 |
|---|
| 21 |       | Roberto Cignoli:
Boolean Skeletons of MV-algebras and ℓ-groups.
Studia Logica 98(1-2): 141-147 (2011) |
| 2010 |
|---|
| 20 | | Manuela Busaniche,
Roberto Cignoli:
Constructive Logic with Strong Negation as a Substructural Logic.
J. Log. Comput. 20(4): 761-793 (2010) |
| 2009 |
|---|
| 19 | | Roberto Cignoli,
Francesc Esteva:
Commutative integral bounded residuated lattices with an added involution.
Ann. Pure Appl. Logic 161(2): 150-160 (2009) |
| 18 | | Manuela Busaniche,
Roberto Cignoli:
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic.
J. Log. Comput. 19(6): 1019-1029 (2009) |
| 2008 |
|---|
| 17 | | Roberto Cignoli:
Free algebras in varieties of Stonean residuated lattices.
Soft Comput. 12(4): 315-320 (2008) |
| 2007 |
|---|
| 16 | | Roberto Cignoli,
Francesc Esteva,
Lluis Godo:
On Lukasiewicz Logic with Truth Constants.
IFSA (2) 2007: 869-875 |
| 2006 |
|---|
| 15 | | 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 | | 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 | | 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 | | 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 | | 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 | | Roberto Cignoli,
Antoni Torrens:
Glivenko like theorems in natural expansions of BCK-logic.
Math. Log. Q. 50(2): 111-125 (2004) |
| 2003 |
|---|
| 9 | | Roberto Cignoli,
Antoni Torrens:
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.
Arch. Math. Log. 42(4): 361-370 (2003) |
| 2002 |
|---|
| 8 | | 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 | | Roberto Cignoli,
Antoni Torrens:
Free Stone algebras.
Discrete Mathematics 222(1-3): 251-257 (2000) |
| 5 | | 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 | | Roberto Cignoli:
Quantifiers on distributive lattices.
Discrete Mathematics 96(3): 183-197 (1991) |
Data released under the ODC-BY 1.0 license — See also our legal information page