arXiv subjects

Andrew Moshier

Publications and source records attributed to Andrew Moshier.

2 recordsLinked to original sources

arXiv2021

Stone Duality for Relations

We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (framed bi)categories of relations.

cs.LO↗

arXiv2021

First order logic properly displayed

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 metatheorem. All inference rules are closed under uniform substitution and are without side conditions.

math.LO↗