Logic Determined by Boolean Algebras with Conjugate

机译：由具有共轭的布尔代数确定的逻辑

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give an axiomatic system of a logic characterized by the class of Boolean algebras with conjugate, which has a close connection with the theory of rough sets, and prove that the logic is decidable.

机译：我们给出了一个以公理化的布尔代数为特征的公理体系，该体系与粗糙集理论有着密切的联系，并证明了该逻辑是可判定的。

著录项

来源
《Knowledge-Based Intelligent Information and Engineering Systems pt.2; Lecture Notes in Artificial Intelligence; 4252》|2006年|871-878|共8页
会议地点 Bournemouth(GB)
作者
Michiro Kondo; Kazumi Nakamatsu; Jair Minoro Abe;
展开▼
作者单位

School of Information Environment, Tokyo Denki University, Japan;

School of Human Science and Environment, University of Hyogo, Japan;

Information Technology Dept. ICET - Paulista University, Sao Paulo, Brazil Institute for Advanced Studies - University o;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Automorphisms of boolean algebras determined by fixed points [J] . Palchunov D.E., Trofimov A.V. Doklady. Mathematics . 2012,第2期

机译：由固定点确定布尔代数的自同构
2. Boolean algebras of conditionals, probability and logic [J] . Tommaso Flaminio, Lluis Godo, Hykel Hosni Artificial intelligence . 2020,第Sepa期

机译：布尔代数有条件，概率和逻辑
3. Extended Boolean algebra for asynchronous quasi-delay-insensitive logic [J] . Tran Linh Duc, Chi Pham Thanh, Kavehei Omid, Circuits, Devices & Systems, IET . 2020,第8期

机译：用于异步准延迟不敏感逻辑的扩展布尔代数
4. Logic Determined by Boolean Algebras with Conjugate [C] . Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe International Conference on Knowledge-Based Intelligent Information and Engineering Systems . 2006

机译：由布尔代数与共轭确定的逻辑
5. Fabrication of a Boolean algebra logic gate through magnetic manipulation of nickel nanodots on gold microwires. [D] . Goodman, Kevin Donald. 2006

机译：通过对金微丝上的镍纳米点进行磁操纵来制造布尔代数逻辑门。
6. Identification of control targets in Boolean molecular network models via computational algebra [O] . David Murrugarra, Alan Veliz-Cuba, Boris Aguilar, 2016

机译：通过计算代数识别布尔分子网络模型中的控制目标
7. Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) [O] . Kondo Michiro 2013

机译：以共轭布尔代数为特征的逻辑（克隆理论与离散数学・与计算机科学相关的代数与逻辑）
8. Semi-Boolean Algebras Empirical Logic and Rings. [R] . Haglich, P. P. 1982

机译：半布尔代数经验逻辑与环。

Logic Determined by Boolean Algebras with Conjugate

摘要

著录项

相似文献

相关主题

期刊订阅