Now showing items 1-6 of 6

    • Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas 

      El lenguaje del sistema LB extiende el lenguaje de la lógicaclásica al incluir operadores para las nociones de afirmación alterna (en contraste con la afirmación usual o afirmación clásica), negación alterna (en contraste ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 2005
    • Caracterización semántica de la jerarquía scr-n (1 

      Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SCR-n con n and gt;=1. SCR-n es el sistema de creencias para los razonadores de tipo n. El sistema SCR-w resulta de la ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 2007
    • Lógica básica con aceptación fuerte 

      El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 2002
    • Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones 

      Se caracterizan los sistemas Lógica Básica Paraconsistente yLógica Básica Paracompleta sin recurrir a la negación clásica. Un trabajo similar se hace para otras extensiones del sistema Lógica Básica Paraconsistente y ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 2005
    • Lógica diagonal 

      Como resultado de explorar algunas conexiones entre lógica, teoría de categorías, teoría de combinadores, la paradoja de Russell, la regla de contracción, la regla de modus ponens y el axioma de separación irrestricta de ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 1996
    • Sistema paracompleto lbp°¬c 

      El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas. 2006