Propositional Lax Logic
Lax Logic
M. Fairtlough, M. Mandler; "Propositional Lax Logic"
https://www.uni-bamberg.de/fileadmin/uni/fakultaeten/wiai_professuren/grundlagen_informatik/papersMM/pll.pdf