ダウンロード数: 61
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
2193-04.pdf | 4.29 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | Fujita, Ken-etsu | en |
dc.contributor.alternative | 藤田, 憲悦 | ja |
dc.contributor.transcription | フジタ, ケンエツ | ja-Kana |
dc.date.accessioned | 2021-11-01T01:41:08Z | - |
dc.date.available | 2021-11-01T01:41:08Z | - |
dc.date.issued | 2021-07 | - |
dc.identifier.uri | http://hdl.handle.net/2433/265699 | - |
dc.description.abstract | George Boolos (1996) posed the puzzle "The hardest logic puzzle ever" which had been devised by Raymond Smullyan, and gave a solution in the style of if-and-only-if. Later, Roberts (2001) and Rabern-Rabern (2008) provided another solution in the style of embedded questions as a simpler solution. Here, we introduce a simple formalization of the puzzle consisting of questions, answerers, and answers in terms of propositional logic, and show its adequacy by the truth values (0, 1) semantics. Then it turns out that the two solutions in the different forms are logically equivalent under the semantics. Moreover, the hardest logic puzzle can be considered as a natural extension of the puzzles of knights and knaves, i.e., lying and truth-telling by Smullyan. | en |
dc.language.iso | eng | - |
dc.publisher | 京都大学数理解析研究所 | ja |
dc.publisher.alternative | Research Institute for Mathematical Sciences, Kyoto University | en |
dc.subject.ndc | 410 | - |
dc.title | On formalization of logic puzzles textit{`{a}} ${la}$ Smullyan (Logic, Language, Algebraic system and Related Areas in Computer Science) | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AN00061013 | - |
dc.identifier.jtitle | 数理解析研究所講究録 | ja |
dc.identifier.volume | 2193 | - |
dc.identifier.spage | 18 | - |
dc.identifier.epage | 24 | - |
dc.textversion | publisher | - |
dc.sortkey | 04 | - |
dc.address | Gunma University | en |
dc.address.alternative | 群馬大学 | ja |
dcterms.accessRights | open access | - |
datacite.awardNumber | 17K05343 | - |
datacite.awardNumber | 20K03711 | - |
datacite.awardNumber.uri | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17K05343/ | - |
datacite.awardNumber.uri | https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-20K03711/ | - |
dc.identifier.pissn | 1880-2818 | - |
dc.identifier.jtitle-alternative | RIMS Kokyuroku | en |
jpcoar.funderName | 日本学術振興会 | ja |
jpcoar.funderName | 日本学術振興会 | ja |
jpcoar.awardTitle | 簡約システムの存在定理に関する定量的性質の解明 | ja |
jpcoar.awardTitle | ゲーデルのシステムTと計算量的階層に関する研究 | ja |
出現コレクション: | 2193 論理・言語・代数系と計算機科学の周辺領域 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。