{"title":"Hintikka Style Game Rules for Semi-Fuzzy Quantifiers","authors":"C. Fermüller, M. Hofer","doi":"10.1109/ISMVL.2017.57","DOIUrl":null,"url":null,"abstract":"Extending Hintikka's game for the evaluation ofclassical formulas, we explore the realm of quantifier rules thatcan be defined by combining several moves consisting of choicesby the two strategic players, but also by a third non-strategicplayer 'Nature', representing random choices. The simple formatof Hintikka-style games is compared to the seemingly much moregeneral one of Giles's game for Lukasiewicz logic.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2017-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2017.57","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
Extending Hintikka's game for the evaluation ofclassical formulas, we explore the realm of quantifier rules thatcan be defined by combining several moves consisting of choicesby the two strategic players, but also by a third non-strategicplayer 'Nature', representing random choices. The simple formatof Hintikka-style games is compared to the seemingly much moregeneral one of Giles's game for Lukasiewicz logic.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
