Search
Now showing items 1-1 of 1
La Fórmula de Barcan es equivalente al Teorema de Deducción
(Pontificia Universidad Católica del Perú. Fondo Editorial, 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 ...