A Characterization of Kleene-Stone Logic Functions

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 社団法人電子情報通信学会の論文
• 1993-02-25

著者

• Mukaidono Masao

  School Of Science And Technology Meiji University

• Takagi Noboru

  Faculty Of Engineering Toyama Prefectural University

関連論文

• Some Properties and a Necessary and Sufficient Condition for Extended Kleene-Stone Logic Functions (Special Issue on Multiple-Valued Logic)
• Some Properties of Kleene-Stone Logic Functions and Their Canonical Disjunctive Form
• Fundamental Properties of Multiple-Valued Logic Functions Monotonic with Respect to Ambiguity (Special Issue on Multiple-Valued Logic)
• A Characterization of Kleene-Stone Logic Functions
• Chaotic Responses in a Self-Recurrent Fuzzy Inference with Nonlinear Rules (Special Section on Nonlinear Theory and Its Applications)

スポンサーリンク