关于逻辑纤维和多值运算的分解:简要综述

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic Pub Date : 2001-05-22 DOI:10.1109/ISMVL.2001.924584

J. Pfalzgraf

{"title":"关于逻辑纤维和多值运算的分解:简要综述","authors":"J. Pfalzgraf","doi":"10.1109/ISMVL.2001.924584","DOIUrl":null,"url":null,"abstract":"A brief survey of the basic notions of the concept of logical fiberings is presented. Logical fiberings lead to many-valued systems and, on, the other side, form the basis for a general decomposition method of m-valued operations into (local) connectives defined in a 2-valued subsystem (fiber). A remark on applications to model cooperating agents logically is included.","PeriodicalId":297353,"journal":{"name":"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic","volume":"389 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On logical fiberings and decomposition of many-valued operations: a brief survey\",\"authors\":\"J. Pfalzgraf\",\"doi\":\"10.1109/ISMVL.2001.924584\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A brief survey of the basic notions of the concept of logical fiberings is presented. Logical fiberings lead to many-valued systems and, on, the other side, form the basis for a general decomposition method of m-valued operations into (local) connectives defined in a 2-valued subsystem (fiber). A remark on applications to model cooperating agents logically is included.\",\"PeriodicalId\":297353,\"journal\":{\"name\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"389 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-05-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2001.924584\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2001.924584","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

简要介绍了逻辑纤维概念的基本概念。逻辑纤维导致多值系统，另一方面，形成m值操作分解成2值子系统(纤维)中定义的(局部)连接的一般方法的基础。还包括对协作代理逻辑建模的应用程序的注释。

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

查看原文本刊更多论文

On logical fiberings and decomposition of many-valued operations: a brief survey

A brief survey of the basic notions of the concept of logical fiberings is presented. Logical fiberings lead to many-valued systems and, on, the other side, form the basis for a general decomposition method of m-valued operations into (local) connectives defined in a 2-valued subsystem (fiber). A remark on applications to model cooperating agents logically is included.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量