Longchun Wang

Available identifiers

zbMath Open wang.longchunMaRDI QIDQ1989345

List of research outcomes

Publication	Date of Publication	Type
A set-theoretic approach to algebraic \(\mathrm{L}\)-domains	2024-10-16	Paper
\(D\)-completion, well-filterification and sobrification	2024-09-27	Paper
A direct approach to representing algebraic domains by formal contexts	2024-07-10	Paper
\(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
A representation of arithmetic semilattices by closure spaces	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
Properties of LFI algebras and relations between LFI algebras and residuated lattices.	2016-03-15	Paper
One machine scheduling problem with interval numbers	2011-01-21	Paper
Subalgebras of \(R_0\)-algebra \([0,1]\) and generalized tautology	2007-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3370888	2006-02-21	Paper

Research outcomes over time

This page was built for person: Longchun Wang