Antoni Torrens Torrell

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22.
Studia Logica, 2017

2016
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.
Studia Logica, 2016

2014
Lattice BCK logics with Modus Ponens as unique rule.
Math. Log. Q., 2014

2012
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

2011
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

2009
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput., 2009

2008
Boolean representation of bounded BCK-algebras.
Soft Comput., 2008

An Approach to Glivenko's Theorem in Algebraizable Logics.
Studia Logica, 2008

2007
Bounded BCK-algebras and their generated variety.
Math. Log. Q., 2007

2006
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

2005
Standard completeness of Hájek basic logic and decompositions of BL-chains.
Soft Comput., 2005

Axiomatic Extensions of IMT3 Logic.
Studia Logica, 2005

2004
Glivenko like theorems in natural expansions of BCK-logic.
Math. Log. Q., 2004

2003
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.
Arch. Math. Log., 2003

2000
Basic Fuzzy Logic is the logic of continuous t-norms and their residua.
Soft Comput., 2000

Free Stone algebras.
Discrete Mathematics, 2000

1998
Quasivarieties Generated by Simple MV-algebras.
Studia Logica, 1998

1997
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput., 1997

1994
Wajsberg algebras and Post algebras.
Studia Logica, 1994

Cyclic Elements in MV-Algebras and Post Algebras.
Math. Log. Q., 1994

1988
On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras.
Math. Log. Q., 1988

1987
W-algebras which are Boolean products of members of SR[1] and CW-algebras.
Studia Logica, 1987


  Loading...