Direct and Binary Direct Bases for One-set Updates of a Closure System

Kira Adaricheva, Taylor Ninesling

We introduce a concept of a binary-direct implicational basis and show that the shortest binary-direct basis exists and it is known as the $D$-basis introduced in Adaricheva, Natio…