25/11/06 11:53:56.39 9MLt2+C6.net
>>349
>逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
>そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
おお、ありがとね
”Dana Scott domain theory”で下記がでる
「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・
まあ、デイナ・スコット Domain theory があるのを 知った （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。
領域理論の意図と直観的意味
1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。
URLﾘﾝｸ(en.wikipedia.org)
Domain theory
URLﾘﾝｸ(ncatlab.org)
domain theory in nLab
URLﾘﾝｸ(arxiv.org)
Computer Science > Programming Languages
[Submitted on 19 May 2016 (v1), last revised 14 Jun 2016 (this version, v4)]
Domain Theory: An Introduction
Robert Cartwright, Rebecca Parsons, Moez AbdelGawad