Consistent disjunctive sequent calculi and Scott domains
Consistent disjunctive sequent calculi and Scott domains
复制标题
一致析取序列演算和 Scott 域
DOI：
10.1017/s0960129521000086
复制
发表时间：
2021-08
影响因子：
0.5
通讯作者：
Qingguo Li
中科院分区：
文献类型：
--
作者：
Longchun Wang;Qingguo Li
摘要基于选言命题逻辑的框架，我们首先给出了Scott域的一种句法表示。更确切地说，我们建立了一类具有因果关系的相容析取域演算，并证明了它与具有Scott-连续函数的Scott域等价。此外，我们说明了解决递归域方程的方法，通过引入一些标准的域结构，如提升和总和。相容有限析取演算上的子系统关系使得这些论域构造连续。通过构造连续函数的最小不动点，给出了递归区域方程的解。
Abstract Based on the framework of disjunctive propositional logic, we first provide a syntactic representation for Scott domains. Precisely, we establish a category of consistent disjunctive sequent calculi with consequence relations, and show it is equivalent to that of Scott domains with Scott-continuous functions. Furthermore, we illustrate the approach to solving recursive domain equations by introducing some standard domain constructions, such as lifting and sums. The subsystems relation on consistent finitary disjunctive sequent calculi makes these domain constructions continuous. Solutions to recursive domain equations are given by constructing the least fixed point of a continuous function.
登录
查看更多内容
基于合取顺序演算的真 BC 域的表示
影响因子：
0.5
作者：
Wang Longchun;Li Qingguo
通讯作者：
Li Qingguo
重新审视信息系统公理
影响因子：
1
作者：
Huang Mengqiao;Zhou Xiangnan;Li Qingguo
通讯作者：
Li Qingguo
DOI：
10.1007/3-540-13346-1_5
发表时间：
1984-06
期刊：
--
影响因子：
--
作者：
G. Winskel;K. Larsen
通讯作者：
G. Winskel;K. Larsen
DOI：
10.1017/cbo9780511542725
发表时间：
2003-04
期刊：
--
影响因子：
--
作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
通讯作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
DOI：
10.1007/bfb0012801
发表时间：
1982-07
期刊：
ACM Transactions on Database Systems (TODS)
影响因子：
--
作者：
D. Scott
通讯作者：
D. Scott