Browsing Vol. 04 Núm. 2 (1992) by Author "Cifuentes Vásquez, José Carlos"
Now showing items 1-1 of 1
-
La Fórmula de Barcan es equivalente al Teorema de Deducción
Cifuentes Vásquez, José Carlos (Pontificia Universidad Católica del Perú. Fondo EditorialPE, 1992)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 ...