Matt Fairtlough

• Propositional lax logic