Roberto Cignoli

27 papers Journal 25Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Categorical Equivalence for Stonean Residuated Lattices.
Stud Logica
Manuela Busaniche, Roberto Cignoli, Miguel Andrés Marcos
2017 J jnl
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x
Stud Logica
Roberto Cignoli, Antoni Torrens
2012 J jnl
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.
Stud Logica
Roberto Cignoli, Antoni Torrens
2011 J jnl
Boolean Skeletons of MV-algebras and
Stud Logica
Roberto Cignoli
2010 J jnl
Constructive Logic with Strong Negation as a Substructural Logic.
J. Log. Comput.
Manuela Busaniche, Roberto Cignoli
2009 J jnl
Commutative integral bounded residuated lattices with an added involution.
Ann. Pure Appl. Log.
Roberto Cignoli, Francesc Esteva
2009 J jnl
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic.
J. Log. Comput.
Manuela Busaniche, Roberto Cignoli
2008 J jnl
Free algebras in varieties of Stonean residuated lattices.
Soft Comput.
Roberto Cignoli
2007 — conf
On Lukasiewicz Logic with Truth Constants.
IFSA (2)
Roberto Cignoli, Francesc Esteva, Lluís Godo
2006 J jnl
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x
Stud Logica
Roberto Cignoli, Antoni Torrens
2006 J jnl
Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic.
J. Multiple Valued Log. Soft Comput.
Roberto Cignoli, Daniele Mundici, Mirko Navara
2006 J jnl
Maximal Subalgebras of MV
Stud Logica
Roberto Cignoli, Luiz Monteiro
2006 J jnl
On Product Logic with Truth-constants.
J. Log. Comput.
Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera
2006 — conf
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Roberto Cignoli
2005 J jnl
Standard completeness of Hájek basic logic and decompositions of BL-chains.
Soft Comput.
Roberto Cignoli, Antoni Torrens
2004 J jnl
Glivenko like theorems in natural expansions of BCK-logic.
Math. Log. Q.
Roberto Cignoli, Antoni Torrens
2003 J jnl
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.
Arch. Math. Log.
Roberto Cignoli, Antoni Torrens
2002 J jnl
On a class of left-continuous t-norms.
Fuzzy Sets Syst.
Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna
2001 J jnl
An Algebraic Approach to Intuitionistic Connectives.
J. Symb. Log.
Xavier Caicedo, Roberto Cignoli
2000 J jnl
Basic Fuzzy Logic is the logic of continuous t-norms and their residua.
Soft Comput.
Roberto Cignoli, Francesc Esteva, Lluís Godo, Antoni Torrens
2000 J jnl
Free Stone algebras.
Discret. Math.
Roberto Cignoli, Antoni Torrens
1998 J jnl
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit.
Stud Logica
Roberto Cignoli, Daniele Mundici
1997 J jnl
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.
Stud Logica
Roberto Cignoli, Daniele Mundici
1996 J jnl
Free Q-distributive lattices.
Stud Logica
Roberto Cignoli
1991 J jnl
Complete and atomic algebras of the infinite valued Łukasiewicz logic.
Stud Logica
Roberto Cignoli
1991 J jnl
Quantifiers on distributive lattices.
Discret. Math.
Roberto Cignoli
1984 J jnl
An Algebraic Approach to Elementary Theories Based on
Math. Log. Q.
Roberto Cignoli