The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] Multiple-Valued Logic(61hit)

61hit(61hit)

  • A Characterization of Kleene-Stone Logic Functions

    Noboru TAKAGI  Masao MUKAIDONO  

     
    PAPER-Computer Hardware and Design

      Vol:
    E76-D No:2
      Page(s):
    171-178

    Kleene-Stone algebra is both Kleene algebra and Stone algebra. The set of Kleene-Stone logic functions discussed in this paper is one of the models of Kleene-Stone algebra, and they can easily represent the concepts of necessity and possibility which are important concepts for many-valued logic systems. Main results of this paper are that the followings are clarified: a necessary and sufficient condition for a function to be a Kleene-Stone logic function and a formula representing the number of n-variable Kleene-Stone logic functions.

61hit(61hit)