Lógica básica para la verdad aristotélica

El libro presenta el sistema deductivo lbva, con el cual se pretende caracterizar deductivamente las definiciones de verdad y falsedad presentadas por Aristóteles en el Libro IV de La metafísica. Lo anterior se logra mediante la introducción de operadores de afirmación y negación alternos, los cuales se encuentran asociados a sistemas de lógicas paraconsistentes y paracompletas, desarrollados en la última década.