Propositional lax logic (1997)

by Matt Fairtlough, Michael Mendler
Venue:Information and Computation