EDBT 2026 Demo / reviewers in the wild / expert
Guillaume Massas
dblp:340/5822
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0001-9069-0487ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Goldblatt-Thomason Theorems for Fundamental (Modal) Logic
Guillaume Massas |
AiML | 1 |
| 2023 | B-frame dualityabstractThis paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. Guillaume Massas |
Ann. Pure Appl. Log. | 1 |
| 2022 | Choice-Free de Vries Duality
Guillaume Massas |
AiML | 1 |