Antoni Torrens Torrell

According to our database, Antoni Torrens Torrell authored at least 25 papers between 1987 and 2017.

Collaborative distances:

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

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

2016

Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.

Antoni Torrens

Stud Logica, 2016

2014

Lattice BCK logics with Modus Ponens as unique rule.

Joan Gispert, Antoni Torrens

Math. Log. Q., 2014

2012

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

Roberto Cignoli, Antoni Torrens

Stud Logica, 2012

Logics preserving degrees of truth from varieties of residuated lattices.

Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú

J. Log. Comput., 2012

2011

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts.

Diego Nicolás Castaño, José Patricio Díaz Varela, Antoni Torrens Torrell

Soft Comput., 2011

Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.

Diego Nicolás Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell

Stud Logica, 2011

2008

Boolean representation of bounded BCK-algebras.

Joan Gispert, Antoni Torrens

Soft Comput., 2008

An Approach to Glivenko's Theorem in Algebraizable Logics.

Antoni Torrens

Stud Logica, 2008

2007

Bounded BCK-algebras and their generated variety.

Joan Gispert, Antoni Torrens

Math. Log. Q., 2007

2006

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

Roberto Cignoli, Antoni Torrens

Stud Logica, 2006

Decomposability of free Lukasiewicz implication algebras.

J. Patricio Díaz Varela, Antoni Torrens Torrell

Arch. Math. Log., 2006

On the infinite-valued Lukasiewicz logic that preserves degrees of truth.

Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú

Arch. Math. Log., 2006

2005

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

Roberto Cignoli, Antoni Torrens

Soft Comput., 2005

Axiomatic Extensions of IMT3 Logic.

Joan Gispert, Antoni Torrens

Stud Logica, 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

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

Quasivarieties Generated by Simple MV-algebras.

Joan Gispert, Antoni Torrens

Stud Logica, 1998

1997

On Gentzen Systems Associated with the Finite Linear MV-Algebras.

Àngel J. Gil, Antoni Torrens, Ventura Verdú

J. Log. Comput., 1997

1994

Wajsberg algebras and Post algebras.

Antonio J. Rodríguez Salas, Antoni Torrens

Stud Logica, 1994

Cyclic Elements in MV-Algebras and Post Algebras.

Antoni Torrens

Math. Log. Q., 1994

1988

On The Role of The Polynomial (<i>X → Y</i>) → <i>Y</i> in Some Implicative Algebras.

Antoni Torrens

Math. Log. Q., 1988

1987

<i>W</i>-algebras which are Boolean products of members of <i>SR</i>[1] and <i>CW</i>-algebras.

Antoni Torrens

Stud Logica, 1987