Examinando por Autor "Sierra-Aristizabal, Manuel H."
Mostrando 1 - 3 de 3
Resultados por página
Opciones de ordenación
Ítem Argumentación deductiva con diagramas y árboles de forzamiento(Fondo Editorial Universidad EAFIT, 2010-01-01) Sierra-Aristizabal, Manuel H.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónEste libro se encuentra orientado hacia la argumentación deductiva con énfasis en la presentación visual con diagramas, con los cuales se busca mostrar de manera precisa y detallada la forma como se articula un razonamient.Ítem Inferencia visual para las lógicas normales(Editorial EAFIT, 2011-01-01) Sierra-Aristizabal, Manuel H.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónEste texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.Ítem Restricted normal modal logics and levelled possible worlds semantics(OXFORD UNIV PRESS, 2014-08-01) Agudelo-Agudelo, Juan C.; Sierra-Aristizabal, Manuel H.; Agudelo-Agudelo, Juan C.; Sierra-Aristizabal, Manuel H.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónRestricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a complexity function. It is proven that the logics obtained are characterized by a subtle adaptation of the possible worlds semantics in which levels are associated with the worlds. Restricted normal modal logics constitute a general framework allowing the definition of a huge variety of modal systems, which can have different applications. For instance, they are useful to define epistemic logics where the logical omniscience problem is partially controlled. © 2014 The Author.