Roberto Cignoli

According to our database, Roberto Cignoli authored at least 27 papers between 1984 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A Categorical Equivalence for Stonean Residuated Lattices.

Manuela Busaniche, Roberto Cignoli, Miguel Andrés Marcos

Stud Logica, 2019

2017

Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)²2.

Roberto Cignoli, Antoni Torrens

Stud Logica, 2017

2012

Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.

Roberto Cignoli, Antoni Torrens

Stud Logica, 2012

2011

Boolean Skeletons of MV-algebras and <i>ℓ</i>-groups.

Roberto Cignoli

Stud Logica, 2011

2010

Constructive Logic with Strong Negation as a Substructural Logic.

Manuela Busaniche, Roberto Cignoli

J. Log. Comput., 2010

2009

Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic.

Manuela Busaniche, Roberto Cignoli

J. Log. Comput., 2009

Commutative integral bounded residuated lattices with an added involution.

Roberto Cignoli, Francesc Esteva

Ann. Pure Appl. Log., 2009

2008

Free algebras in varieties of Stonean residuated lattices.

Roberto Cignoli

Soft Comput., 2008

2007

On Lukasiewicz Logic with Truth Constants.

Roberto Cignoli, Francesc Esteva, Lluís Godo

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

2006

Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x²) = (2x)².

Roberto Cignoli, Antoni Torrens

Stud Logica, 2006

Maximal Subalgebras of MV_n-algebras. A Proof of a Conjecture of A. Monteiro.

Roberto Cignoli, Luiz Monteiro

Stud Logica, 2006

Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic.

Roberto Cignoli, Daniele Mundici, Mirko Navara

J. Multiple Valued Log. Soft Comput., 2006

On Product Logic with Truth-constants.

Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera

J. Log. Comput., 2006

The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.

Roberto Cignoli

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005

Standard completeness of Hájek basic logic and decompositions of BL-chains.

Roberto Cignoli, Antoni Torrens

Soft Comput., 2005

2004

Glivenko like theorems in natural expansions of BCK-logic.

Roberto Cignoli, Antoni Torrens

Math. Log. Q., 2004

2003

Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.

Roberto Cignoli, Antoni Torrens

Arch. Math. Log., 2003

2002

On a class of left-continuous t-norms.

Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna

Fuzzy Sets Syst., 2002

2001

An Algebraic Approach to Intuitionistic Connectives.

Xavier Caicedo, Roberto Cignoli

J. Symb. Log., 2001

2000

Basic Fuzzy Logic is the logic of continuous t-norms and their residua.

Roberto Cignoli, Francesc Esteva, Lluís Godo, Antoni Torrens

Soft Comput., 2000

Free Stone algebras.

Roberto Cignoli, Antoni Torrens

Discret. Math., 2000

1998

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit.

Roberto Cignoli, Daniele Mundici

Stud Logica, 1998

1997

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.

Roberto Cignoli, Daniele Mundici

Stud Logica, 1997

1996

Free Q-distributive lattices.

Roberto Cignoli

Stud Logica, 1996

1991

Complete and atomic algebras of the infinite valued Łukasiewicz logic.

Roberto Cignoli

Stud Logica, 1991

Quantifiers on distributive lattices.

Roberto Cignoli

Discret. Math., 1991

1984

An Algebraic Approach to Elementary Theories Based on <i>n</i>-Valued Lukasiewicz Logics.

Roberto Cignoli

Math. Log. Q., 1984