Antoni Torrens Torrell
According to our database1, Antoni Torrens Torrell authored at least 26 papers between 1987 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22.
Studia Logica, 2017
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.
Studia Logica, 2016
Lattice BCK logics with Modus Ponens as unique rule.
Math. Log. Q., 2014
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.
Studia Logica, 2012
Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput., 2012
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts.
Soft Comput., 2011
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.
Studia Logica, 2011
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput., 2009
Boolean representation of bounded BCK-algebras.
Soft Comput., 2008
An Approach to Glivenko's Theorem in Algebraizable Logics.
Studia Logica, 2008
Bounded BCK-algebras and their generated variety.
Math. Log. Q., 2007
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.
Studia Logica, 2006
Decomposability of free Lukasiewicz implication algebras.
Arch. Math. Log., 2006
On the infinite-valued Lukasiewicz logic that preserves degrees of truth.
Arch. Math. Log., 2006
Standard completeness of Hájek basic logic and decompositions of BL-chains.
Soft Comput., 2005
Axiomatic Extensions of IMT3 Logic.
Studia Logica, 2005
Glivenko like theorems in natural expansions of BCK-logic.
Math. Log. Q., 2004
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.
Arch. Math. Log., 2003
Basic Fuzzy Logic is the logic of continuous t-norms and their residua.
Soft Comput., 2000
Free Stone algebras.
Discrete Mathematics, 2000
Quasivarieties Generated by Simple MV-algebras.
Studia Logica, 1998
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput., 1997
Wajsberg algebras and Post algebras.
Studia Logica, 1994
Cyclic Elements in MV-Algebras and Post Algebras.
Math. Log. Q., 1994
On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras.
Math. Log. Q., 1988
W-algebras which are Boolean products of members of SR and CW-algebras.
Studia Logica, 1987