×
王龙春;李庆国;周向南

逻辑形式的连续L域。 （英语） Zbl 07374867号

Ann.纯粹应用。逻辑 172，第9号，文章ID 102993，24 p.（2021）.
摘要：我们介绍了一个近似析取命题逻辑的框架，该逻辑是通过添加一个附加连接词而从析取命题逻辑学产生的。该逻辑的Lindenbaum代数是一个近似的dD-代数。我们证明了对于任何近似dD-代数，其按集包含排序的近似滤子构成一个连续的L域。相反，每个连续的L域都可以表示为一个近似的dD-代数。此外，我们还建立了具有近似dD-代数态射的近似dD--代数范畴与具有Scott连续函数的连续L-域范畴之间的范畴等价性。这延伸了Abramsky的逻辑形式的领域理论到连续L域的世界。作为一个应用，我们对以下一个公开问题给出了肯定的答案Y.-X.陈和A.钟【Theor.Compute.Sci.368，No.1–2，124–148（2006；Zbl 1105.03026号)].

引用于三文件

MSC公司：

03B70号 计算机科学中的逻辑
06B35号 连续格和偏序集，应用
68问题55 计算理论中的语义学

关键词：

领域理论;连续L域;析取命题逻辑;可逼近dD代数;范畴等价

引文：

Zbl 1105.03026号
PDF格式BibTeX公司 XML格式引用
\textit{L.Wang}等人，Ann.Pure Appl。逻辑172，第9号，文章ID 102993，24页（2021；Zbl 07374867）
全文： 内政部

参考文献：

[1] Abramsky，S.，领域理论和可观测性质的逻辑（1987），伦敦大学，博士论文
[2] Abramsky，S.，《逻辑形式的领域理论》，《纯粹应用》。日志。，51, 1-77 (1991) ·Zbl 0737.03006号
[3] Awodey，S.，《范畴理论》（2006），牛津大学出版社·Zbl 1100.18001号
[4] Bonsangue，M。；Kok，J.，走向领域的无限逻辑：过渡系统的Abramsky逻辑，Inf.Compute。，155, 170-201 (1999) ·Zbl 1004.03030号
[5] Bonsangue，M。；Kurz，A.，逻辑形式的Pi-calculus（第22届IEEE计算机科学逻辑研讨会（2007）），303-312
[6] Chen，Y.，Stone对偶与稳定域的表示，计算。数学。申请。，34, 1, 27-41 (1997) ·Zbl 0883.06008号
[7] 陈，Y。；Jung，A.，《稳定域的逻辑方法》，Theor。计算。科学。，368, 124-148 (2006) ·Zbl 1105.03026号
[8] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森，J.D。；Mislove，M。；Scott，D.S.，《连续格与域》（2003），剑桥大学出版社·Zbl 1088.06001号
[9] Goubault-Larrecq，J.，《非豪斯多夫拓扑与域理论》（2013），剑桥大学出版社·Zbl 1280.54002号
[10] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer学术出版社·Zbl 0937.03030号
[11] Jung，A.，笛卡尔闭合域范畴（1988），Technische Hochschule Darmstadt，博士论文·Zbl 0663.18004号
[12] Jung，A。；凯格曼，M。；Moshier，M.A.，《多语言序列演算和相干空间》，Fundam。通知。，37, 369-412 (1999) ·兹比尔0935.68068
[13] Jung，A.，逻辑形式的连续域理论，计算机科学讲义，第7860卷，166-177（2013），Springer Verlag·Zbl 1264.68106号
[14] Kegelmann，M.，逻辑形式的连续域理论，理论计算机科学电子笔记，第49卷，1-166（2002）·Zbl 1080.03043号
[15] 轮数，W。；Zhang，G.，代数域中的子句逻辑和逻辑编程，Inf.Compute。，171, 183-200 (2001) ·Zbl 1005.68094号
[16] Vickers，S.，用于稳定的局部紧凑场所的Entailment系统，Theor。计算。科学。，316, 259-296 (2004) ·Zbl 1047.06007号
[17] Wang，L。；Li，Q.，基于合取序列计算的适当BC域的表示，数学。结构。计算。科学。，30, 1-13 (2020) ·Zbl 1478.03078号
[18] Wang，L。；Li，Q.，《Lawson紧代数L-域的逻辑》，Theor。计算。科学。，813, 410-427 (2020) ·Zbl 1481.03012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。