Abstract
This paper investigates a class of extensions, denoted CnIUL, of the involutive uninorm logic IUL, which is obtained by adding the n-potency axiom to IUL. The main result of this paper is the proof of the standard completeness for CnIUL, which is obtained by generalizing Jenei and Montagna-style approach for proving standard completeness for MTL. In addition, this result also presents a generalization of Jenei's embedding method of constructing left-continuous t-norms, which can generate a countable number of left-continuous and involutive conjunctive uninorms and provides a tremendously wide spectrum of choice for e.g. logical and set theoretical connectives in non-classical logic and in fuzzy theory.
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.
