Ames har påpekt at Bhāviveka var en av de første buddhistiske logikere som en anvendte «formell syllogisme» (སྦྱོར་བའི་ཚིག, ) eller fra indisk logikk for å eksponere madhyamaka, og han anvendte denne syllogismen med betraktelig effekt denne teksten.