Antoni Torrens

Publication Activity (10 Years)

Years Active: 1987-2017
Publications (10 Years): 2

Top Topics

Expressive Power

Boolean Functions

Top Venues

J. Log. Comput.

Publications

Roberto Cignoli, Antoni Torrens
2. Stud Logica 105 (1) (2017)
Antoni Torrens
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices. Stud Logica 104 (5) (2016)
Joan Gispert, Antoni Torrens
Lattice BCK logics with Modus Ponens as unique rule. Math. Log. Q. 60 (3) (2014)
Roberto Cignoli, Antoni Torrens
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Stud Logica 100 (6) (2012)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22 (3) (2012)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19 (6) (2009)
Antoni Torrens
An Approach to Glivenko's Theorem in Algebraizable Logics. Stud Logica 88 (3) (2008)
Joan Gispert, Antoni Torrens
Boolean representation of bounded BCK-algebras. Soft Comput. 12 (10) (2008)
Joan Gispert, Antoni Torrens
Bounded BCK-algebras and their generated variety. Math. Log. Q. 53 (2) (2007)
Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Arch. Math. Log. 45 (7) (2006)
Roberto Cignoli, Antoni Torrens
. Stud Logica 83 (1-3) (2006)
Joan Gispert, Antoni Torrens
Axiomatic Extensions of IMT3 Logic. Stud Logica 81 (3) (2005)
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, 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)
Joan Gispert, Antoni Torrens
Quasivarieties Generated by Simple MV-algebras. Stud Logica 61 (1) (1998)
Àngel J. Gil, Antoni Torrens, Ventura Verdú
On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7 (4) (1997)
Antonio J. Rodríguez Salas, Antoni Torrens
Wajsberg algebras and Post algebras. Stud Logica 53 (1) (1994)
Antoni Torrens
Cyclic Elements in MV-Algebras and Post Algebras. Math. Log. Q. 40 (1994)
Antoni Torrens
in Some Implicative Algebras. Math. Log. Q. 34 (2) (1988)
Antoni Torrens
-algebras. Stud Logica 46 (3) (1987)