M
atthew
D
oty
E-Mails 📧
gro
.
d-w
@
ttam
Entries
2023
A Sound and Complete Calculus for Probability Inequalities
by
Matthew Doty
Feb 20
Suppes' Theorem For Probability Logic
by
Matthew Doty
Jan 22
2022
Class-based Classical Propositional Logic
by
Matthew Doty
Dec 15
Birkhoff's Representation Theorem For Finite Distributive Lattices
by
Matthew Doty
Dec 06
Risk-Free Lending
by
Matthew Doty
Sep 18
2010
A Complete Proof of the Robbins Conjecture
by
Matthew Doty
May 22