Access Restriction

Author Kohout, L.J.
Sponsorship Int. Fuzzy Syst. Assoc.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2001
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Special computer methods
Subject Keyword Calculus ♦ Fuzzy logic ♦ Computer science ♦ Logic testing ♦ Lattices
Abstract The paper presents theorems characterizing classivalent relations based on t-norm residuated fuzzy logics. The classivalency conditions are characterised by various relational inequalities containing the BK-products of relations. This generalizes to the realm of t-norm resuduated fuzzy logics the characterization of classivalency by means of square products of relations previously given by Bandler and Kohout (1977). The proofs of the most important theorems are conducted rigorously in the first order predicate fuzzy logic BL that was developed by P. Hajek (1998). The paper concludes with the extensions of characterisation of classivalency to the relations based on the checklist paradigm based fuzzy interval logics of Bandler and Kohout. There are five families of such logics, but the paper restricts the discussion to the systems generated by measure m/sub 1/. It should be noted that difunctional relations are a special case of the classivalent relation, namely total classivalent relations. Thus classivalency could also be called partial difunctionality.
Description Author affiliation: Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA (Kohout, L.J.)
ISBN 0780370783
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2001-07-25
Publisher Place Canada
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 487.38 kB
Page Count 6
Starting Page 1659
Ending Page 1664

Source: IEEE Xplore Digital Library