命题偏斜布尔逻辑

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI:10.1109/ISMVL.1996.508334

R. Bignall, M. Spinks

{"title":"命题偏斜布尔逻辑","authors":"R. Bignall, M. Spinks","doi":"10.1109/ISMVL.1996.508334","DOIUrl":null,"url":null,"abstract":"A non-commutative propositional logic is described. A Hilbert-style axiomatisation is given for the logic, and a multiple-valued interpretation is constructed. The logic is shown to be sound and complete with respect to this interpretation. We also show that the logic has no finite complete models. An application includes the specification and design of multiple-valued switching circuits.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Propositional skew Boolean logic\",\"authors\":\"R. Bignall, M. Spinks\",\"doi\":\"10.1109/ISMVL.1996.508334\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A non-commutative propositional logic is described. A Hilbert-style axiomatisation is given for the logic, and a multiple-valued interpretation is constructed. The logic is shown to be sound and complete with respect to this interpretation. We also show that the logic has no finite complete models. An application includes the specification and design of multiple-valued switching circuits.\",\"PeriodicalId\":403347,\"journal\":{\"name\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1996.508334\",\"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 of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1996.508334","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

描述了一个非交换命题逻辑。给出了该逻辑的hilbert式公理化，并构造了一个多值解释。就这种解释而言，逻辑被证明是健全和完整的。我们还证明了逻辑没有有限完全模型。一个应用包括多值开关电路的规格和设计。

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

查看原文本刊更多论文

Propositional skew Boolean logic

A non-commutative propositional logic is described. A Hilbert-style axiomatisation is given for the logic, and a multiple-valued interpretation is constructed. The logic is shown to be sound and complete with respect to this interpretation. We also show that the logic has no finite complete models. An application includes the specification and design of multiple-valued switching circuits.

求助全文

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

来源期刊

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

自引率

0.00%

发文量