Show simple item record

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

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.identifier.urihttp://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640
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.language.isospa
dc.publisherPontificia Universidad Católica del Perú. Fondo Editoriales_ES
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.titleLa Fórmula de Barcan es equivalente al Teorema de Deducciónes_ES
dc.typeinfo:eu-repo/semantics/article
dc.type.otherArtículo
dc.subject.ocdehttps://purl.org/pe-repo/ocde/ford#6.03.01
dc.publisher.countryPE
dc.identifier.doihttps://doi.org/10.18800/arete.199202.001


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess