Estudia la posibilidad lógica de contrastar teorías fácticas que son inconsistentes, pero no triviales. En particular, indaga si tales teorías pueden satisfacer o no el principio de refutabilidad de Popper. Cuando se aplica ...

En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente ...