Sobre los meta teoremas de deducción y el concepto de implicación lógica

Ver principales metadatos en formato legible
dc.contributor.authorCifuentes Vásquez, José Carloses_ES
dc.date.accessioned2018-04-09T22:59:33Z
dc.date.available2018-04-09T22:59:33Z
dc.date.issued1990es_ES
dc.description.abstractEn este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una implicación interna a tales sistemas.es_ES
dc.description.sponsorshipPontificia Universidad Católica del Perú. Departamento de Humanidades
dc.formatapplication/pdf
dc.identifier.doihttps://doi.org/10.18800/arete.199001.002
dc.identifier.urihttp://revistas.pucp.edu.pe/index.php/arete/article/view/4996/4992
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. 2, Núm. 1 (1990)es_ES
dc.subjectFilosofíaes_ES
dc.subjectLógicaes_ES
dc.subject.ocdehttps://purl.org/pe-repo/ocde/ford#6.03.01
dc.titleSobre los meta teoremas de deducción y el concepto de implicación lógicaes_ES
dc.typeinfo:eu-repo/semantics/article
dc.type.otherArtículo

Archivos

Colecciones

Areté. Vol. 02 Núm. 1 (1990)