Densification in classes of involutive commutative residuated lattices
Logic
2023-12-12 v1
Abstract
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].
Keywords
Cite
@article{arxiv.2312.05845,
title = {Densification in classes of involutive commutative residuated lattices},
author = {Sándor Jenei},
journal= {arXiv preprint arXiv:2312.05845},
year = {2023}
}