Logical inference for inverse problems. Issue 3 (23rd March 2016)