{"title":"作为外延真性模态逻辑的部分逻辑","authors":"D. Kachi","doi":"10.4288/KISORON1954.34.61","DOIUrl":null,"url":null,"abstract":"In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.","PeriodicalId":331954,"journal":{"name":"Journal of the Japan Association for Philosophy of Science","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Partial Logic as a Logic of Extensional Alethic Modality\",\"authors\":\"D. Kachi\",\"doi\":\"10.4288/KISORON1954.34.61\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.\",\"PeriodicalId\":331954,\"journal\":{\"name\":\"Journal of the Japan Association for Philosophy of Science\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the Japan Association for Philosophy of Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4288/KISORON1954.34.61\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Japan Association for Philosophy of Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4288/KISORON1954.34.61","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Partial Logic as a Logic of Extensional Alethic Modality
In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
