La Fórmula de Barcan es equivalente al Teorema de Deducción
In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formula
Autor Principal: | Cifuentes Vásquez, José Carlos |
---|---|
Formato: | Artículo |
Idioma: | spa |
Publicado: |
Pontificia Universidad Católica del Perú - Departamento de Humanidades
2013
|
Materias: | |
Acceso en línea: |
http://repositorio.pucp.edu.pe/index/handle/123456789/113264 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Sumario: |
In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formula |
---|