<p>The representation theorem for odd or even involutive FL<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11225_2025_10190_Article_IEq1.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="8" /> </InlineMediaObject> <EquationSource Format="TEX">\(_e\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mi>e</mi> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation>-chains via bunches of layer groups, as presented in [<CitationRef CitationID="CR12">12</CitationRef>], has been refined to reveal a more direct constructional relationship between these chains and bunches of layer groups, entirely circumventing the intermediary notion of layer algebras. Leveraging this refinement, it is demonstrated that both the variety of semilinear odd involutive FL<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11225_2025_10190_Article_IEq1.gif" Format="GIF" Height="8" Rendition="HTML" Resolution="72" Type="Linedraw" Width="8" /> </InlineMediaObject> <EquationSource Format="TEX">\(_e\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mi>e</mi> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation>-algebras and its idempotent symmetric subvariety admit densification. Finally, by applying the algebraic techniques developed in [<CitationRef CitationID="CR14">14</CitationRef>], the strong standard completeness of Involutive Uninorm Logic with Fixed Point (<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11225_2025_10190_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{IUL}^{fp}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="bold">IUL</mi> <mrow> <mi mathvariant="italic">fp</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>) is established, thereby strenghtening the main result of [<CitationRef CitationID="CR11">11</CitationRef>].</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Densification in Classes of Involutive Commutative Residuated Lattices

  • Sándor Jenei

摘要

The representation theorem for odd or even involutive FL \(_e\) e -chains via bunches of layer groups, as presented in [12], has been refined to reveal a more direct constructional relationship between these chains and bunches of layer groups, entirely circumventing the intermediary notion of layer algebras. Leveraging this refinement, it is demonstrated that both the variety of semilinear odd involutive FL \(_e\) e -algebras and its idempotent symmetric subvariety admit densification. Finally, by applying the algebraic techniques developed in [14], the strong standard completeness of Involutive Uninorm Logic with Fixed Point ( \(\textbf{IUL}^{fp}\) IUL fp ) is established, thereby strenghtening the main result of [11].