2023/12/10 by Sándor Jenei, Jenei, Sándor
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2312.05845
openalex publication_date 2023/12/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and bunches of layer groups, bypassing the intermediary stage of layer algebras. By leveraging this redefined theorem, it is demonstrated that both the variety of semilinear odd involutive FLe-algebras and its idempotent symmetric subvariety admits densification. Ultimately, employing the algebraic techniques introduced in [11], the proof of the strong standard completeness of Involutive Uninorm Logic with Fixed Point (IULfp) is established, thus strengthening the main result of [9].