La Fórmula de Barcan es equivalente al Teorema de Deducción
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
Main Author: | |
---|---|
Format: | Article |
Language: | Spanish |
Published: |
Pontificia Universidad Católica del Perú
1992-09-01
|
Series: | Areté |
Online Access: | http://revistas.pucp.edu.pe/index.php/arete/article/view/7418 |