ノート:実現可能性 (論理学)

この記事は英語版ウィキペディアのRealizabilityから翻訳された内容を含みます。(翻訳の版は83922283です。)

各種術語の訳について

日本語版初版作成者です。記事の和訳に際して、各種訳語を参考にした文献をこちらに載せておきます。

• 木原貴行 (2020年3月10日). “2019年度 計算可能性理論特論・講義ノート” (PDF). 2021年6月8日閲覧。
• 照井一成 (2010). “線形論理の誕生” (PDF). 数学 (日本数学会) 62 (1): 115-132. doi:10.11429/sugaku.0621115. 
• 照井一成 (2003年9月). “線形論理入門 - What's the use?”. 2021年6月8日閲覧。

--Merliborn（会話） 2021年6月8日 (火) 10:17 (UTC)[返信]

見出しの誤字修正--Merliborn（会話） 2021年6月8日 (火) 10:53 (UTC)[返信]