Fundamental properties of Kleene-Stone logic functions

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI:10.1109/ISMVL.1991.130706

N. Takagi, M. Mukaidono

引用次数: 5

Abstract

Kleene-Stone algebras have been proposed as an algebra with the properties of both Kleene algebra and Stone algebra. Therefore, they have connections with ambiguity and modality. A Kleene-Stone logic function is defined as a function F:

查看原文本刊更多论文

Kleene-Stone逻辑函数的基本性质

Kleene-Stone代数是一种同时具有Kleene代数和Stone代数性质的代数。因此，它们与歧义和情态有联系。Kleene-Stone逻辑函数定义为函数F:

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量