Areté. Vol. 04 Núm. 2 (1992)

URI permanente para esta colecciónhttp://54.81.141.168/handle/123456789/182263

Explorar

Resultados de Búsqueda

Mostrando 1 - 1 de 1
  • Ítem
    La Fórmula de Barcan es equivalente al Teorema de Deducción
    (Pontificia Universidad Católica del Perú. Fondo Editorial, 1992) Cifuentes Vásquez, José Carlos
    En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de Barcan