A Characterization of Kleene-Stone Logic Functions

Noboru TAKAGI; Masao MUKAIDONO

A Characterization of Kleene-Stone Logic Functions

Noboru TAKAGI, Masao MUKAIDONO

Full Text Views

0

Share
Cite this

Summary :

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.

Publication: IEICE TRANSACTIONS on Information Vol.E76-D No.2 pp.171-178

Publication Date: 1993/02/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Computer Hardware and Design

Cite this

Copy

Noboru TAKAGI, Masao MUKAIDONO, "A Characterization of Kleene-Stone Logic Functions" in IEICE TRANSACTIONS on Information, vol. E76-D, no. 2, pp. 171-178, February 1993, doi: .
Abstract: 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.
URL: https://globals.ieice.org/en_transactions/information/10.1587/e76-d_2_171/_p

Copy

@ARTICLE{e76-d_2_171,
author={Noboru TAKAGI, Masao MUKAIDONO, },
journal={IEICE TRANSACTIONS on Information},
title={A Characterization of Kleene-Stone Logic Functions},
year={1993},
volume={E76-D},
number={2},
pages={171-178},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={February},}

Copy

TY - JOUR
TI - A Characterization of Kleene-Stone Logic Functions
T2 - IEICE TRANSACTIONS on Information
SP - 171
EP - 178
AU - Noboru TAKAGI
AU - Masao MUKAIDONO
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E76-D
IS - 2
JA - IEICE TRANSACTIONS on Information
Y1 - February 1993
AB - 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.
ER -