Title: Propositional lax logic
First published: 1995