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

Abstract

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.