模逻辑

Fuzzy TOPSIS Pub Date : 1900-01-01 DOI:10.1201/9781003168416-2-2

M. El Alaoui

{"title":"模逻辑","authors":"M. El Alaoui","doi":"10.1201/9781003168416-2-2","DOIUrl":null,"url":null,"abstract":"Solution. A5 = ♦A ⊃ ♦A = ¬ ¬A ⊃ ¬ ¬A. We show that F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F if and only if F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. Let F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F . That is, (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some world w in some interpretationM based on F . Choosing G = ¬F we obtain (M, w) 6|= ¬KiG ⊃ Ki¬KiG and therefore also F 6|= ¬KiG ⊃ Ki¬KiG. Conversely, let F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. That is, (M, w) 6|= ¬KiG ⊃ Ki¬KiG for some world w in some interpretation M based on F . Furthermore we have (M, w) 6|= ¬Ki¬¬G ⊃ Ki¬Ki¬¬G. Choosing F = ¬G we obtain (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F and therefore also F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F .","PeriodicalId":137534,"journal":{"name":"Fuzzy TOPSIS","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Nonclassical Logics\",\"authors\":\"M. El Alaoui\",\"doi\":\"10.1201/9781003168416-2-2\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Solution. A5 = ♦A ⊃ ♦A = ¬ ¬A ⊃ ¬ ¬A. We show that F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F if and only if F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. Let F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F . That is, (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some world w in some interpretationM based on F . Choosing G = ¬F we obtain (M, w) 6|= ¬KiG ⊃ Ki¬KiG and therefore also F 6|= ¬KiG ⊃ Ki¬KiG. Conversely, let F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. That is, (M, w) 6|= ¬KiG ⊃ Ki¬KiG for some world w in some interpretation M based on F . Furthermore we have (M, w) 6|= ¬Ki¬¬G ⊃ Ki¬Ki¬¬G. Choosing F = ¬G we obtain (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F and therefore also F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F .\",\"PeriodicalId\":137534,\"journal\":{\"name\":\"Fuzzy TOPSIS\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fuzzy TOPSIS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1201/9781003168416-2-2\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fuzzy TOPSIS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1201/9781003168416-2-2","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

解决方案。A5 =♦a、♦a =♦a、我们证明了对于某个公式F，当且仅当对于某个公式g, F 6 bbb = ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω ω。即(M, w) 6|= _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _选择G = F，我们得到(M, w) 6|=¬KiG、kikig，因此也得到F 6|=¬KiG、kikig。反过来，对于某个公式g，设F 6 bbb =¬KiG、Ki¬KiG，即(M, w) 6 bbb =¬KiG、Ki¬KiG，对于基于F的某个解释M中的某个世界w。更进一步，我们有(M, w) 6|= ω ω ω， ω ω ω。选择F = G，我们得到(M, w) 6 bbb =¬¬¬F、¬¬¬F，因此也是F 6 bbb =¬¬¬F、¬¬¬F。

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

查看原文本刊更多论文

Nonclassical Logics

Solution. A5 = ♦A ⊃ ♦A = ¬ ¬A ⊃ ¬ ¬A. We show that F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F if and only if F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. Let F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some formula F . That is, (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F for some world w in some interpretationM based on F . Choosing G = ¬F we obtain (M, w) 6|= ¬KiG ⊃ Ki¬KiG and therefore also F 6|= ¬KiG ⊃ Ki¬KiG. Conversely, let F 6|= ¬KiG ⊃ Ki¬KiG for some formula G. That is, (M, w) 6|= ¬KiG ⊃ Ki¬KiG for some world w in some interpretation M based on F . Furthermore we have (M, w) 6|= ¬Ki¬¬G ⊃ Ki¬Ki¬¬G. Choosing F = ¬G we obtain (M, w) 6|= ¬Ki¬F ⊃ Ki¬Ki¬F and therefore also F 6|= ¬Ki¬F ⊃ Ki¬Ki¬F .

求助全文

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

来源期刊

Fuzzy TOPSIS

自引率

0.00%

发文量