Formal and semantic aspects of Tibetan Buddhist debate logic · Study