The following pages link to Antoni Torrens Torrell (Q1306835):
Displaying 45 items.
- (Q332071) (redirect page) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)'' (Q519863) (← links)
- (Q763307) (redirect page) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Axiomatic extensions of IMT3 logic (Q817693) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- W-algebras which are Boolean products of members of SR[1] and CW- algebras (Q1090332) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic (Q1407598) (← links)
- Free Stone algebras (Q1579568) (← links)
- Quasivarieties generated by simple MV-algebras (Q1580663) (← links)
- Free algebras in varieties of BL-algebras with a Boolean retract. (Q1771935) (← links)
- Free cancellative hoops (Q1866810) (← links)
- Boolean products of MV-algebras: hypernormal MV-algebras (Q1916849) (← links)
- The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit (Q1922900) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Regular elements and Kolmogorov translation in residuated lattices (Q2257976) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Decomposability of free Tarski algebras (Q2496153) (← links)
- Topological representation for implication algebras (Q2577680) (← links)
- Logics preserving degrees of truth from varieties of residuated lattices (Q2893327) (← links)
- (Q3204458) (← links)
- (Q3222191) (← links)
- Bounded BCK-algebras and their generated variety (Q3437044) (← links)
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices (Q3656765) (← links)
- (Q3727993) (← links)
- (Q3728957) (← links)
- On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras (Q3757916) (← links)
- (Q3987715) (← links)
- Cyclic Elements in MV‐Algebras and Post Algebras (Q4315320) (← links)
- On Gentzen Systems Associated with the Finite Linear MV-algebras (Q4351798) (← links)
- Glivenko like theorems in natural expansions of BCK-logic (Q4459591) (← links)
- (Q4485547) (← links)
- (Q4512929) (← links)
- (Q4716898) (← links)
- (Q4750640) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)