A logic for Lawson compact algebraic L-domains
A logic for Lawson compact algebraic L-domains
复制标题
Lawson紧代数L域的逻辑
DOI：
10.1016/j.tcs.2020.01.025
复制
发表时间：
2020-04
影响因子：
1.1
通讯作者：
Li Qingguo
中科院分区：
文献类型：
--
作者：
Wang Longchun;Li Qingguo
在本文中，我们建立了一个逻辑，这是命名为N-代数演算。基于这种逻辑，我们给出了Lawson紧代数L-整环的两种逻辑表示：一种是逻辑代数表示，另一种是逻辑语法表示，第一种表示以相应的逻辑代数为研究对象。素过滤器的使用实现了我们的逻辑和劳森紧代数L-域之间的连接。这种方法受到Abramsky的SFP域逻辑和Yixiang Chen和Achim Jung提出的代数L-域上的析取命题逻辑的启发。然而，它们在态射部分有着本质的区别。对于第二种表示，我们直接采用N-代数演算本身作为对象，而不是逻辑代数。然后建立了具有与具有Scott连续映射的Lawson紧代数L-域等价的推论关系的N-S-演算范畴。这证明了逻辑的语法在表示域方面的能力。
In this paper, we build a logic which is named N-sequent calculus. Based on this logic, we provide two kinds of logical representations of Lawson compact algebraic L-domains: one in terms of logical algebras and the other in terms of logical syntax.The first representation takes the corresponding logical algebras as research objects. The use of prime filters achieves the connection between our logic and Lawson compact algebraic L-domains. This approach is inspired by Abramsky's SFP domain logic and the disjunctive propositional logic on algebraic L-domains introduced by Yixiang Chen and Achim Jung. However, there are essential differences between them at the morphisms part. For the second representation, we directly adopt N-sequent calculi themselves as objects instead of the logical algebras. Then we establish the category of N-sequent calculi with consequence relations equivalent to that of Lawson compact algebraic L-domains with Scott continuous maps. This demonstrates the capability of the syntax of the logic in representing domains.
登录
查看更多内容
基于合取顺序演算的真 BC 域的表示
影响因子：
0.5
作者：
Wang Longchun;Li Qingguo
通讯作者：
Li Qingguo
DOI：
10.1093/acprof:oso/9780198568612.001.0001
发表时间：
2006
期刊：
--
影响因子：
--
作者：
S. Awodey
通讯作者：
S. Awodey
影响因子：
0.6
作者：
Zhenchao Lyu;Hui Kou
通讯作者：
Hui Kou
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.1016/j.apal.2016.04.014
发表时间：
2016-09
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
D. Rusu;Gabriel Ciobanu
通讯作者：
D. Rusu;Gabriel Ciobanu