La Fórmula de Barcan es equivalente al Teorema de Deducción
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Pontificia Universidad Católica del Perú. Fondo Editorial
Acceso al texto completo solo para la Comunidad PUCP
Abstract
En esta nota discutimos una forma general del Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismo que aparecen en la literatura, así como su relación con la Fórmula de Barcan.
In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive several other formulations of DT found in the literature, and their relationship with the Barcan's Formula.
In this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive several other formulations of DT found in the literature, and their relationship with the Barcan's Formula.
Description
Keywords
Philosophy
Citation
Collections
Endorsement
Review
Supplemented By
Referenced By
Creative Commons license
Except where otherwised noted, this item's license is described as info:eu-repo/semantics/openAccess