Propositional Lax Logic (1997)

by Matt Fairtlough, Michael Mendler