Fuzzy TOPSISPub Date : 1900-01-01DOI: 10.1201/9781003168416-3-3
M. El Alaoui
{"title":"Fuzzy Logic","authors":"M. El Alaoui","doi":"10.1201/9781003168416-3-3","DOIUrl":"https://doi.org/10.1201/9781003168416-3-3","url":null,"abstract":"• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.","PeriodicalId":137534,"journal":{"name":"Fuzzy TOPSIS","volume":"829 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133970239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Fuzzy TOPSISPub Date : 1900-01-01DOI: 10.1201/9781003168416-2-2
M. El Alaoui
{"title":"Nonclassical Logics","authors":"M. El Alaoui","doi":"10.1201/9781003168416-2-2","DOIUrl":"https://doi.org/10.1201/9781003168416-2-2","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.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117059428","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}