VLDB 2026 Research / reviewers in the wild / expert
Ethan Gertler
dblp:162/5036
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Gödel-Dugundji-style theorem for the minimal structural logicabstractAbstract This paper introduces a sequent calculus, $\textbf{M}_{\textbf{S}}$, the minimal structural logic, which includes all structural rules while excluding operational ones. Despite its limited calculus, $\textbf{M}_{\textbf{S}}$ unexpectedly shares a property with intuitionistic logic and modal logics between $\textsf{S1}$ and $\textsf{S5}$: it lacks sound and complete finitely-valued (deterministic) semantics. Mirroring Gödel’s and Dugundji’s findings, we demonstrate that $\textbf{M}_{\textbf{S}}$ does possess a natural finitely-valued non-deterministic semantics. In fact, we show that $\textbf{M}_{\textbf{S}}$ is sound and complete with respect to any semantics belonging to a natural class of maximally permissive non-deterministic matrices. We close by examining the case of subsystems of $\textbf{M}_{\textbf{S}}$, including the “structural kernels” of the strict-tolerant and tolerant-strict logics $\textbf{ST}$ and $\textbf{TS}$, and strengthen this result to also preclude finitely-valued deterministic semantics with respect to variable designated value frameworks. Pawel Pawlowski, Thomas M. Ferguson, Ethan Gertler |
J. Log. Comput. | 3 |