×
莱因霍尔德·赫克曼

幂域和二阶谓词。 （英语） Zbl 0784.68054号

西奥。计算。科学。 111，编号1-2，59-88（1993）.
下幂域、上幂域、夹心幂域、混合幂域和凸幂域与二阶谓词的域同构，二阶谓语将基域上的谓词映射为半环中的逻辑值。不同的幂域在基础半环逻辑的性质和二阶谓句的逻辑约束方面有所不同。
审核人：R.赫克曼

引用于9文件

MSC公司：

第68季度55 计算理论中的语义学
03B50号 多值逻辑
06A99号 有序集合
06B35号 连续格和偏序集，应用
05年6月 序半群和幺半群
20米25 半群环，环的乘法半群
22A26号 拓扑半格、格及其应用
54B20型 一般拓扑中的超空间
54立方厘米 一般拓扑中的函数空间
54D80型 拓扑空间的特殊构造（超滤器空间等）

关键词：

功率域;二阶谓词的域;半环逻辑
PDF格式BibTeX公司 XML格式引用
\文本{R.Heckmann}，Theor。计算。科学。111，编号1--2，59-88（1993；Zbl 0784.68054）
全文： 内政部

参考文献：

[1] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》（Dann，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977年），雷德尔：雷德尔·多德雷赫特），8-37·Zbl 0424.03012号
[2] Buneman，P。；戴维森，S.B。；Watters，A.，《复杂对象和近似查询的语义》（内部报告MS-CIS-87-99（1988），宾夕法尼亚大学），另见：第七届ACM数据库系统原理·Zbl 0764.68026号
[3] Gunter，C.A.，《混合功率域》（内部报告MS-CIS-89-77，逻辑与计算18（1989），宾夕法尼亚大学）·Zbl 0764.68092号
[4] Gunter，C.A.，《关于非确定性程序的全部和部分正确性解释》，（Hudak，P.，《编程语言原理》（POPL'90）（1990），美国计算机学会：美国计算机学会纽约分会），306-319
[5] Heckmann，R.，功率域构造，（博士论文（1990年），萨尔州大学）·Zbl 0769.08005号
[6] Heckmann，R.，电力领域建设，科学。计算。编程，17，77-117（1991）·Zbl 0769.08005号
[7] Heckmann，R.，Set domains，（Jones，N.，Proc.ESOP’90，Vol.432（1990），Springer:Springer Berlin），177-196，计算机科学讲稿·Zbl 0765.68104号
[8] 轩尼诗，M.C.B。；Plotkin，G.D.，简单并行编程语言的完全抽象，（Becvar，J.，《计算机科学基础》，第74卷（1979年），Springer:Springer-Berlin），108-120，计算机科学讲稿·Zbl 0457.68006号
[9] 霍夫曼，K。；Mislove，M.，局部紧性和连续格，（Banaschewski；Hoffmann，《连续格》，第871卷（1981），Springer:Springer Berlin），199-230，不来梅1979，数学课堂讲稿·Zbl 0464.06005号
[10] Hoofman，R.，《Powerdomains》（技术报告RUU-CS-87-23（1987），乌得勒支国立大学）
[11] Johnstone，P.，Scott并不总是清醒的，（Banaschewski；Hoffmann，《连续格》，第871卷（1981），施普林格：施普林格柏林），282-283，不来梅，1979，数学讲义·兹伯利0469.06002
[12] Jung，A.，笛卡尔闭域范畴，（博士论文（1988），FB Mathematik，Technische Hochschule Darmstadt）·Zbl 0719.06004号
[13] Kleen，S.C.，（《元数学导论》（1952），Van Nostrand：Van Nostrand纽约）·Zbl 0047.00703号
[14] Main，M.G.，《幂域的自由构造》（Melton，A.，《程序设计语义学的数学基础》，第239卷（1985），Springer:Springer-Berlin），162-183，计算机科学讲义·Zbl 0619.68013号
[15] Plotkin，G.D.，《powerdomain结构》，SIAM计算杂志，第5期，第452-487页（1976年）·Zbl 0355.68015号
[16] Smyth，M.B.，Power domains，J.Comput，《权力领域》，计算机科学杂志。系统科学。，16, 23-36 (1978) ·Zbl 0391.68011号
[17] Smyth，M.B.，《幂域和谓词变换：拓扑视图》，（Díaz，J.，Proc.ICALP’83，Vol.154（1983），Springer:Springer-Berlin），662-676，计算机科学讲稿·Zbl 0533.68018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。