La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas

Mostrar todas las versiones(3)

En 1934 Gerhard Gentzen publicó <i>Recherches sur la Déduction Logique</i>. En ese trabajo presenta su Cálculo de Deducción Natural y su Cálculo de Secuentes para la Lógica Intuicionista y para la Lógica Clásica. Dichos cálculos constituyen una presentación no axiomática de esos sistemas...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Durán, Cecilia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2002
Materias:
Filosofía
lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/17164
http://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.164/ev.164.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-17164
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Filosofía
lógica
spellingShingle Filosofía
lógica
Durán, Cecilia
La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
topic_facet Filosofía
lógica
description En 1934 Gerhard Gentzen publicó <i>Recherches sur la Déduction Logique</i>. En ese trabajo presenta su Cálculo de Deducción Natural y su Cálculo de Secuentes para la Lógica Intuicionista y para la Lógica Clásica. Dichos cálculos constituyen una presentación no axiomática de esos sistemas lógicos. El enfoque de Gentzen se centra en el concepto de prueba. Una vez identificado un conjunto de reglas en particular, un sistema lógico puede definirse a partir de las mismas ya que los teoremas de ese sistema serán los que se deriven a partir del conjunto vacío de premisas.
format Objeto de conferencia
Objeto de conferencia
author Durán, Cecilia
author_facet Durán, Cecilia
author_sort Durán, Cecilia
title La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_short La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_full La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_fullStr La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_full_unstemmed La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_sort la condición del consecuente de la lógica de secuentes de gentzen y la identificación de los teoremas intuicionistas
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/17164
http://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.164/ev.164.pdf
work_keys_str_mv AT durancecilia lacondiciondelconsecuentedelalogicadesecuentesdegentzenylaidentificaciondelosteoremasintuicionistas
bdutipo_str Repositorios
_version_ 1764820465080074243

Ejemplares similares