La Fórmula de Barcan es equivalente al Teorema de Deducción

Ver principales metadatos en formato legible
dc.contributor.authorCifuentes Vásquez, José Carloses_ES
dc.date.accessioned2018-04-09T23:00:37Z
dc.date.available2018-04-09T23:00:37Z
dc.date.issued1992es_ES
dc.description.abstractEn 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 Barcanes_ES
dc.description.abstractIn 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 Formulaen_US
dc.description.sponsorshipPontificia Universidad Católica del Perú. Departamento de Humanidades
dc.formatapplication/pdf
dc.identifier.doihttps://doi.org/10.18800/arete.199202.001
dc.identifier.urihttp://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640
dc.language.isospa
dc.publisherPontificia Universidad Católica del Perú. Fondo Editoriales_ES
dc.publisher.countryPE
dc.relation.ispartofurn:issn:2223-3741
dc.relation.ispartofurn:issn:1016-913X
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by/4.0*
dc.sourceAreté; Vol. 4, Núm. 2 (1992)es_ES
dc.subjectPhilosophyen_US
dc.subject.ocdehttps://purl.org/pe-repo/ocde/ford#6.03.01
dc.titleLa Fórmula de Barcan es equivalente al Teorema de Deducciónes_ES
dc.typeinfo:eu-repo/semantics/article
dc.type.otherArtículo

Archivos

Colecciones

Areté. Vol. 04 Núm. 2 (1992)