This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
Entailment is a binary relation between the truth structure (model) and sentences, which can be then extended to understanding the logical consequences of sets of sentences. (Every model of the set is also a model of the consequent.) Most mentions of “logical” things in ML papers don’t even mention entailment.