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