Roberto Cignoli

Publication Activity (10 Years)

Years Active: 1984-2019
Publications (10 Years): 2

Top Topics

Boolean Functions

Numerical Values

Top Venues

Publications

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