Disjunctive propositional logic and Scott domains

DOI10.1007/978-3-030-59267-7_28OpenAlexW3092370928MaRDI QIDQ2110729

Longchun Wang, Qing-Guo Li

Publication date: 22 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-59267-7_28

zbMATH Keywords

categorical equivalencedomain theorydisjunctive sequent calculusScott-domain

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Disjunctive propositional logic and Scott domains