A dissection of the K triangle inference templates shows how vulnerable they are

摘要

We analyze the K triangle templates from a critical point of view and prove the non-usefulness of some connectives when used to instantiate the K triangle structures.