Qué rama estudia las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales