三值逻辑中的隐含式扩展

Moscow University Computational Mathematics and Cybernetics Pub Date : 2024-03-01 DOI:10.3103/s0278641924010035

{"title":"三值逻辑中的隐含式扩展","authors":"","doi":"10.3103/s0278641924010035","DOIUrl":null,"url":null,"abstract":" <h3>Abstract</h3> Implicatively implicit extensions of all 27 one-place functions of three-valued logic are characterized. It is found they include both extensions coinciding with known implicatively closed classes and extensions that are not closed with respect to the operation of superposition. It is also shown that any implicatively implicit extension in \\(P_{k}\\) contains class \\(H_{k}\\) of all homogeneous functions from \\(P_{k}\\) for any \\(k\\geqslant 3\\) . ","PeriodicalId":501582,"journal":{"name":"Moscow University Computational Mathematics and Cybernetics","volume":"82 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Implicatively Implicit Extensions in Three-Valued Logic\",\"authors\":\"\",\"doi\":\"10.3103/s0278641924010035\",\"DOIUrl\":null,\"url\":null,\"abstract\":\" <h3>Abstract</h3> Implicatively implicit extensions of all 27 one-place functions of three-valued logic are characterized. It is found they include both extensions coinciding with known implicatively closed classes and extensions that are not closed with respect to the operation of superposition. It is also shown that any implicatively implicit extension in \\\\(P_{k}\\\\) contains class \\\\(H_{k}\\\\) of all homogeneous functions from \\\\(P_{k}\\\\) for any \\\\(k\\\\geqslant 3\\\\) . \",\"PeriodicalId\":501582,\"journal\":{\"name\":\"Moscow University Computational Mathematics and Cybernetics\",\"volume\":\"82 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Moscow University Computational Mathematics and Cybernetics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3103/s0278641924010035\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Moscow University Computational Mathematics and Cybernetics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3103/s0278641924010035","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

摘要描述了三值逻辑中所有 27 个单位函数的蕴涵式隐含扩展。研究发现，它们既包括与已知蕴涵封闭类重合的扩展，也包括在叠加操作方面不封闭的扩展。研究还表明，对于任意\(k\geqslant 3\) ，\(P_{k}\)中的任何蕴涵式扩展都包含来自\(P_{k}\)的所有同调函数的类\(H_{k}\)。

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

查看原文本刊更多论文

Implicatively Implicit Extensions in Three-Valued Logic

Abstract

Implicatively implicit extensions of all 27 one-place functions of three-valued logic are characterized. It is found they include both extensions coinciding with known implicatively closed classes and extensions that are not closed with respect to the operation of superposition. It is also shown that any implicatively implicit extension in \(P_{k}\) contains class \(H_{k}\) of all homogeneous functions from \(P_{k}\) for any \(k\geqslant 3\) .

求助全文

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

来源期刊

Moscow University Computational Mathematics and Cybernetics

自引率

0.00%

发文量