Longchun Wang

Available identifiers

zbMath Open wang.longchunMaRDI QIDQ1989345

List of research outcomes

Publication	Date of Publication	Type
\(L\)-domains as locally continuous sequent calculi	2024-04-16	Paper
A set-theoretic representation of algebraic L-domains	2023-08-04	Paper
Topological representations of Lawson compact algebraic L-domains and Scott domains	2023-08-03	Paper
The categorical equivalence between domains and interpolative generalized closure spaces	2023-04-21	Paper
Disjunctive propositional logic and Scott domains	2022-12-22	Paper
Bounded complete domains and their logical form	2022-12-08	Paper
Consistent disjunctive sequent calculi and Scott domains	2022-11-17	Paper
Information systems for continuous semi-lattices	2022-04-07	Paper
A representation of continuous lattices based on closure spaces	2022-01-24	Paper
A representation of FS-domains by formal concept analysis	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3385227	2021-12-17	Paper
Continuous Domains in Formal Concept Analysis*	2021-11-15	Paper
Continuous L-domains in logical form	2021-07-26	Paper
Representations of stably continuous semi-lattices by information systems and abstract bases	2021-02-04	Paper
D-completion, well-filterification and sobrification	2021-01-13	Paper
A logic for Lawson compact algebraic L-domains	2020-04-21	Paper
A representation of proper BC domains based on conjunctive sequent calculi	2020-03-11	Paper
Continuous Domains in Formal Concept Analysis	2019-12-09	Paper
Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces	2018-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2791223	2016-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3067696	2011-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3414622	2007-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3370888	2006-02-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Longchun Wang