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