基于不定系数法的公理系统澄清

2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI:10.1109/ISMVL.2009.67

T. Ninomiya, M. Mukaidono

{"title":"基于不定系数法的公理系统澄清","authors":"T. Ninomiya, M. Mukaidono","doi":"10.1109/ISMVL.2009.67","DOIUrl":null,"url":null,"abstract":"The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"80 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients\",\"authors\":\"T. Ninomiya, M. Mukaidono\",\"doi\":\"10.1109/ISMVL.2009.67\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.\",\"PeriodicalId\":115178,\"journal\":{\"name\":\"2009 39th International Symposium on Multiple-Valued Logic\",\"volume\":\"80 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-05-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 39th International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2009.67\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 39th International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2009.67","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

不定系数法是找出满足公理系统的有限模型和证明一个公理独立于其他公理的有力工具。我们描述了基于该方法的一些公理系统的研究结果。然后我们展示一些仍然存在的问题。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients

The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.

求助全文

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

来源期刊

2009 39th International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量

期刊最新文献

Optimization of Fuzzy If-Then Rule Bases by Evolutionary Tuning of the Operations Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit Attribute Reduction as Calculation of Focus in Granular Reasoning Computational Neuroscience and Multiple-Valued Logic A Quaternary Decision Diagram Machine and the Optimization of its Code