Antoni Torrens

22 papers Journal 22
YearRankTypeTitle / Venue / Authors
2017 J jnl
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x
Stud Logica
Roberto Cignoli, Antoni Torrens
2016 J jnl
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.
Stud Logica
Antoni Torrens
2014 J jnl
Lattice BCK logics with Modus Ponens as unique rule.
Math. Log. Q.
Joan Gispert, Antoni Torrens
2012 J jnl
Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2012 J jnl
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.
Stud Logica
Roberto Cignoli, Antoni Torrens
2009 J jnl
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2008 J jnl
An Approach to Glivenko's Theorem in Algebraizable Logics.
Stud Logica
Antoni Torrens
2008 J jnl
Boolean representation of bounded BCK-algebras.
Soft Comput.
Joan Gispert, Antoni Torrens
2007 J jnl
Bounded BCK-algebras and their generated variety.
Math. Log. Q.
Joan Gispert, Antoni Torrens
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
On the infinite-valued Lukasiewicz logic that preserves degrees of truth.
Arch. Math. Log.
Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú
2005 J jnl
Axiomatic Extensions of IMT3 Logic.
Stud Logica
Joan Gispert, Antoni Torrens
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
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
Quasivarieties Generated by Simple MV-algebras.
Stud Logica
Joan Gispert, Antoni Torrens
1997 J jnl
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput.
Àngel J. Gil, Antoni Torrens, Ventura Verdú
1994 J jnl
Cyclic Elements in MV-Algebras and Post Algebras.
Math. Log. Q.
Antoni Torrens
1994 J jnl
Wajsberg algebras and Post algebras.
Stud Logica
Antonio J. Rodríguez Salas, Antoni Torrens
1988 J jnl
On The Role of The Polynomial (
Math. Log. Q.
Antoni Torrens