Abstract
An algebraic proof is presented for the finite strong standard completeness of the Involutive Uninorm Logic with Fixed Point ({{mathbf {IUL}}^{fp}}). It may provide a first step towards settling the standard completeness problem for the Involutive Uninorm Logic ({mathbf {IUL}}, posed in G. Metcalfe, F. Montagna. (J Symb Log 72:834–864, 2007)) in an algebraic manner. The result is proved via an embedding theorem which is based on the structural description of the class of odd involutive FL_e-chains which have finitely many positive idempotent elements.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
