3 papers
math.LO2026
A new proof of Funayama's theorem
Guram Bezhanishvili, Wesley H. Holliday
Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-in…
cs.LO2025
Vagueness and the Connectives
Wesley H. Holliday
Challenges to classical logic have emerged from several sources. According to recent work, the behavior of epistemic modals in natural language motivates weakening classical logic…
econ.TH2024
A partial-state space model of unawareness
Wesley H. Holliday
We propose a model of unawareness that remains close to the paradigm of Aumann's model for knowledge [R. J. Aumann, International Journal of Game Theory 28 (1999) 263-300]: just as…