Matthew Doty

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Distributive Lattices

Top Venues

Arch. Formal Proofs

Publications

Matthew Doty
Suppes' Theorem For Probability Logic. Arch. Formal Proofs 2023 (2023)
Matthew Doty
A Sound and Complete Calculus for Probability Inequalities. Arch. Formal Proofs 2023 (2023)
Matthew Doty
Birkhoff's Representation Theorem For Finite Distributive Lattices. Arch. Formal Proofs 2022 (2022)
Matthew Doty
Class-based Classical Propositional Logic. Arch. Formal Proofs 2022 (2022)
Andreas Fackler, Samuel Schlesinger, Matthew Doty
From Weakly-terminating Binary Agreement and Reliable Broadcast to Atomic Broadcast. CoRR (2022)
Matthew Doty
Risk-Free Lending. Arch. Formal Proofs 2022 (2022)