19 citations · 55 across the 7 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
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,…