The advantage of Belnap, and Arieli and Avron's approach over that of Buddha is that they defined latices, drew up truth tables, and then explored various implication operators and proof algorithms.