By Topic

Kleene-Stone logic functions

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

2 Author(s)
Takagi, N. ; Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan ; Mukaidono, M.

Kleene algebra has correspondence with fuzzy sets or fuzzy logic and has recently been studied as an algebraic system treating ambiguity or fuzziness. In contrast, Stone algebra, which has connections with modality, has properties different from Kleene algebra. Kleene-Stone algebra has been proposed as an algebra that is both a Kleene algebra and a Stone algebra. A set of Kleene-Stone logic functions is one of the models of Kleene-Stone algebra. Fundamental properties, such as a quantization theorem for Kleene-Stone logic functions in which logic functions are determined by n-tuple vector spaces over {0, 1/4, 2/4, 3/4, 1}, is clarified. The authors define a partial-order relation over {0, 1/4, 2/4, 3/4, 1}, and then they show that any Kleene-Stone logic function satisfies the monotonicity for the partial-order relation. A canonical disjunctive form that enables them to represent any Kleene-Stone logic function uniquely is introduced

Published in:

Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on

Date of Conference:

23-25 May 1990