By Topic

Weak Uninorm Based Logic and Its Filter Theory

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Kondo, M. ; Tokyo Denki Univ., Inzai, Japan ; Kawaguchi, M.F. ; Miyakoshi, M. ; Watari, O.

We give an axiomatic system of a logic called here a weak uninorm based logic (wUL), which is proved to be characterized by the class of all (not necessary bounded nor integral) commutative residuated lattices. We see that the logic is algebraizable. Since many well-known logics, e.g., UBL by Watari and al., UL by Metcalfe and Montanga, ML by Hohle, MTL by Esteva and L. Godo, BL by Hajek, and so on, are axiomatic extensions of our logic, those logics are all algebraizable. Moreover we define filters of commutative residuated lattices X and show that the class of all filters of X is isomorphic to the class Con(X) of all congruences on X. At last, as an application of our characterization of wUL, we give a negative answer to the problem that "Is UBL characterized by the class of linearly ordered UBL-algebras?", which was left open in.

Published in:

Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on

Date of Conference:

23-25 May 2011