Uma teoria semântica fundada em formalismos lógicos para a análise linguística das regras de predicação e intermediação de conceitos jurídicos - Ávila, Luiz Augusto Lima de (2010)