dblp.uni-trier.dewww.uni-trier.de

Roberto Cignoli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EERoberto Cignoli: Free algebras in varieties of Stonean residuated lattices. Soft Comput. 12(4): 315-320 (2008)
2007
16EERoberto Cignoli, Francesc Esteva, Lluis Godo: On Lukasiewicz Logic with Truth Constants. IFSA (2) 2007: 869-875
2006
15EERoberto Cignoli: The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 69-83
14EEPetr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera: On Product Logic with Truth-constants. J. Log. Comput. 16(2): 205-225 (2006)
13EERoberto 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)
12EERoberto Cignoli, Luiz Monteiro: Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro. Studia Logica 84(3): 393-405 (2006)
2005
11EERoberto Cignoli, Antoni Torrens: Standard completeness of Hájek basic logic and decompositions of BL-chains. Soft Comput. 9(12): 862-868 (2005)
2004
10EERoberto Cignoli, Antoni Torrens: Glivenko like theorems in natural expansions of BCK-logic. Math. Log. Q. 50(2): 111-125 (2004)
2003
9EERoberto Cignoli, Antoni Torrens: Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Arch. Math. Log. 42(4): 361-370 (2003)
2002
8EERoberto 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
6EERoberto Cignoli, Antoni Torrens: Free Stone algebras. Discrete Mathematics 222(1-3): 251-257 (2000)
5EERoberto 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
1EERoberto Cignoli: Quantifiers on distributive lattices. Discrete Mathematics 96(3): 183-197 (1991)

Coauthor Index

1Xavier Caicedo [7]
2Francesc Esteva [5] [8] [14] [16]
3Lluis Godo [5] [8] [14] [16]
4Franco Montagna [8]
5Luiz Monteiro [12]
6Daniele Mundici [3] [4]
7Carles Noguera [14]
8Petr Savický [14]
9Antoni Torrens [5] [6] [9] [10] [11] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)