En los trabajos publicados bajo el título general de ‘Lógica informal’ a lo largo de las últimas décadas es admitida la ausencia de una teoría con un grado generalizado de aceptación; lo mismo ocurre con respecto a la ...

La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir de los ...

En programación lógica clásica, una de las herramientas conceptuales más poderosas consiste en la interpretación semántica de un conjunto de fórmulas como funciones sobre conjuntos ordenados con ciertas propiedades ...

En este trabajo construimos estructuras lógicas para describir procesos fisicos que involucran propiedades a distintos tiempos. Para una teoría clásica, las propiedades se representan con pares formados por una celda ...