Longchun Wang, Qingguo Li. Disjunctive Propositional Logic and Scott Domains. In Jianer Chen, Qilong Feng, Jinhui Xu 0001, editors, Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings. Volume 12337 of Lecture Notes in Computer Science, pages 327-339, Springer, 2020. [doi]
Abstract is missing.