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