Antoni Torrens Torrell

Available identifiers

zbMath Open torrens-torrell.antoniMaRDI QIDQ1306835

List of research outcomes

Publication	Date of Publication	Type
Families of local involutive integral residuated lattice-ordered commutative monoids admitting Boolean term	2023-12-20	Paper
The General Apple Property and Boolean terms in Integral Bounded Residuated Lattice-ordered Commutative Monoids	2023-07-06	Paper
Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)	2017-04-07	Paper
Semisimples in varieties of commutative integral bounded residuated lattices	2016-10-27	Paper
Regular elements and Kolmogorov translation in residuated lattices	2015-03-02	Paper
Lattice BCK logics with Modus Ponens as unique rule	2014-06-06	Paper
Locally Finite Quasivarieties of MV-algebras	2014-05-29	Paper
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term	2013-02-18	Paper
Logics preserving degrees of truth from varieties of residuated lattices	2012-06-20	Paper
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts	2012-05-16	Paper
Free-decomposability in varieties of pseudocomplemented residuated lattices	2012-03-09	Paper
Semisimplicity and the discriminator in bounded BCK-algebras	2010-09-08	Paper
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices	2010-01-14	Paper
Boolean representation of bounded BCK-algebras	2008-07-30	Paper
An approach to Glivenko's theorem in algebraizable logics	2008-06-25	Paper
Bounded BCK-algebras and their generated variety	2007-05-11	Paper
Decomposability of free Łukasiewicz implication algebras	2007-01-24	Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth	2006-11-06	Paper
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)	2006-10-27	Paper
Decomposability of free Tarski algebras	2006-07-12	Paper
Axiomatic extensions of IMT3 logic	2006-03-17	Paper
Standard completeness of Hájek basic logic and decompositions of BL-chains	2006-03-02	Paper
Topological representation for implication algebras	2006-01-06	Paper
Free algebras in varieties of BL-algebras with a Boolean retract.	2005-04-19	Paper
Glivenko like theorems in natural expansions of BCK-logic	2004-03-29	Paper
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic	2003-09-16	Paper
Free cancellative hoops	2003-04-23	Paper
Free Stone algebras	2002-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4512929	2000-11-06	Paper
Quasivarieties generated by simple MV-algebras	2000-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4485547	2000-06-14	Paper
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics	1999-12-20	Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras	1997-08-28	Paper
The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit	1997-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4716898	1997-03-11	Paper
Boolean products of MV-algebras: hypernormal MV-algebras	1996-08-29	Paper
Wajsberg algebras and Post algebras	1995-03-15	Paper
Cyclic Elements in MV‐Algebras and Post Algebras	1994-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q3987715	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3204458	1990-01-01	Paper
On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras	1988-01-01	Paper
W-algebras which are Boolean products of members of SR[1 and CW- algebras]	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727993	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222191	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3728957	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4750640	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antoni Torrens Torrell