有限值逻辑的直觉对应物

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

M. Baaz, C. Fermüller

{"title":"有限值逻辑的直觉对应物","authors":"M. Baaz, C. Fermüller","doi":"10.1109/ISMVL.1996.508349","DOIUrl":null,"url":null,"abstract":"We investigate the relation between Kripke's model structures for intuitionistic logic and the simple syntactical restriction that turns the classical sequent calculus into an intuitionistic one. For this purpose we generalize ordinary Kripke structures to ones based on arbitrary finite sets of truth values and show that imposing a proper syntactical restriction on many-placed sequents leads to calculi that are correct and cut-free complete for the new logics.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Intuitionistic counterparts of finitely-valued logics\",\"authors\":\"M. Baaz, C. Fermüller\",\"doi\":\"10.1109/ISMVL.1996.508349\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate the relation between Kripke's model structures for intuitionistic logic and the simple syntactical restriction that turns the classical sequent calculus into an intuitionistic one. For this purpose we generalize ordinary Kripke structures to ones based on arbitrary finite sets of truth values and show that imposing a proper syntactical restriction on many-placed sequents leads to calculi that are correct and cut-free complete for the new logics.\",\"PeriodicalId\":403347,\"journal\":{\"name\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"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.508349\",\"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.508349","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

我们研究了直觉逻辑的Kripke模型结构与将经典序演算变成直觉逻辑的简单语法限制之间的关系。为此，我们将普通的Kripke结构推广到基于任意有限真值集的结构，并证明在多位置序列上施加适当的语法限制会导致新逻辑的正确和无切割完全的演算。

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

查看原文本刊更多论文

Intuitionistic counterparts of finitely-valued logics

We investigate the relation between Kripke's model structures for intuitionistic logic and the simple syntactical restriction that turns the classical sequent calculus into an intuitionistic one. For this purpose we generalize ordinary Kripke structures to ones based on arbitrary finite sets of truth values and show that imposing a proper syntactical restriction on many-placed sequents leads to calculi that are correct and cut-free complete for the new logics.

求助全文

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

来源期刊

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

自引率

0.00%

发文量