stringtranslate.com

Regla estructural

En la disciplina lógica de la teoría de la prueba , una regla estructural es una regla de inferencia de un cálculo consecuente que no se refiere a ningún conectivo lógico sino que opera sobre los consecuentes directamente. [1] [2] Las reglas estructurales a menudo imitan las propiedades metateóricas previstas de la lógica. Las lógicas que niegan una o más de las reglas estructurales se clasifican como lógicas subestructurales .

Normas estructurales comunes

Tres reglas estructurales comunes son: [3]

Una lógica sin ninguna de las reglas estructurales anteriores interpretaría los lados de un secuente como secuencias puras ; con intercambio, pueden considerarse multiconjuntos ; y con contracción e intercambio pueden considerarse conjuntos .

Estas no son las únicas reglas estructurales posibles. Una famosa regla estructural es la conocida como cut [1] . Los teóricos de la demostración dedican un esfuerzo considerable a demostrar que las reglas de corte son superfluas en varias lógicas. Más precisamente, lo que se demuestra es que cut es solo (en cierto sentido) una herramienta para abreviar las demostraciones y no agrega nada a los teoremas que se pueden demostrar. La "eliminación" exitosa de las reglas de corte, conocida como eliminación de corte , está directamente relacionada con la filosofía de la computación como normalización (ver correspondencia Curry-Howard ); a menudo da una buena indicación de la complejidad de decidir una lógica dada.

Véase también

Referencias

  1. ^ ab Gentzen, Gerhard (1935). "Untersuchungen über das logische Schließen. Yo, Mathematische Zeitschrift". Mathematische Zeitschrift (en alemán). 39 (1): 176–210. doi :10.1007/BF01201353. ISSN  0025-5874.
  2. ^ Szabo, ME (1969). Documentos recopilados de Gerhard Gentzen . Lugar de publicación no identificado: Elsevier. ISBN 978-0-444-53419-4.
  3. ^ Jacobs, Bart (1994). "Semántica del debilitamiento y la contracción". Anales de lógica pura y aplicada . 69 (1): 73–106. doi :10.1016/0168-0072(94)90020-5.