2 papers
math.LO2024
Degrees of join-distributivity via Bruns-Lakser towers
G. Bezhanishvili, F. Dashiell, M. A. Moshier +1
We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded…
math.LO2021
First order logic properly displayed
Samuel Balco, Giuseppe Greco, Alexander Kurz +3
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style…