21 citations · 122 across the 26 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
quant-ph2008★ 13 cited
Modal-type orthomodular logic
G. Domenech, H. Freytes, C. de Ronde
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and…
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,…