21 citations · 122 across the 26 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2017
The Cantor-Bernstein-Schroder theorem in algebra
Hector Freytes
The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to σ-complete Boolean algebras. After this, numerous gener…
math.LO2008
Pavelka-style completeness in expansions of Łukasiewicz logic
Hector Freytes
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebr…
math.LO2008
Injectives in residuated algebras
Hector Freytes
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras,…