This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.

Este ensaio investiga o papel do argumento de autoridade no Direito. Começa analisando o modo como a lógica (formal e informal) o aborda, tentando identificar seu “uso correto”, bem como sua legitimidade nos discursos ...

Este vídeo presenta el primer ejemplo de la aplicación de las leyes de la lógica a la simplificación de proposiciones compuesta. Se hace una aplicación gráfica de la tabla con las leyes de la lógica para mostrar su uso ...

Es vídeo presenta el segundo ejemplo de la aplicación de las leyes de la lógica a la simplificación de proposiciones compuesta. Se hace una aplicación gráfica de la tabla con las leyes de la lógica para mostrar su uso ...

En este vídeo se presenta el segundo ejemplo de inferencias lógicas, en el cual se hace uso de la tabla con las reglas de inferencias y la tabla de las leyes de la lógica para verificar la validez de un argumento dado.

En este vídeo se presenta el primer ejemplo de inferencias lógicas, en el cual se hace uso de la tabla con las reglas de inferencias y la tabla de las leyes de la lógica para verificar la validez de un argumento dado.

In this article we defend the possibility of finding in intuitive thinking a set of characteristics or laws which refer to logical aspects, which are different from classic symbolic logic, involving both the rational ...