Roberto Cignoli Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli: Free algebras in varieties of Stonean residuated lattices. Soft Comput. 12(4): 315-320 (2008)
2007
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Francesc Esteva, Lluis Godo: On Lukasiewicz Logic with Truth Constants. IFSA (2) 2007: 869-875
2006
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli: The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 69-83
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Savický, Roberto Cignoli, Francesc Esteva, Lluis Godo, Carles Noguera: On Product Logic with Truth-constants. J. Log. Comput. 16(2): 205-225 (2006)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Luiz Monteiro: Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro. Studia Logica 84(3): 393-405 (2006)
2005
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Antoni Torrens: Standard completeness of Hájek basic logic and decompositions of BL-chains. Soft Comput. 9(12): 862-868 (2005)
2004
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Antoni Torrens: Glivenko like theorems in natural expansions of BCK-logic. Math. Log. Q. 50(2): 111-125 (2004)
2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Antoni Torrens: Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Arch. Math. Log. 42(4): 361-370 (2003)
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Caicedo, Roberto Cignoli: An Algebraic Approach to Intuitionistic Connectives. J. Symb. Log. 66(4): 1620-1636 (2001)
2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli, Antoni Torrens: Free Stone algebras. Discrete Mathematics 222(1-3): 251-257 (2000)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Cignoli: Free Q-distributive lattices. Studia Logica 56(1/2): 23-29 (1996)
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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 © Sat Nov 14 20:26:04 2009 by Michael Ley (ley@uni-trier.de)