Definition:Johansson's Minimal Logic