The Deduction Theorem (Before and After Herbrand)

DOI10.1080/01445340.2021.1889117zbMath1512.03025OpenAlexW3137246604MaRDI QIDQ6098653

Curtis Franks

Publication date: 14 June 2023

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2021.1889117

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items

Logic Discovered and Logic Imposed (A Purim Story)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consequence relations and admissible rules
• On disjunctions and existential statements in intuitionistic systems of logic
• The variety of consequence, according to Bolzano
• Algebraic aspects of deduction theorems
• Admissibility of logical inference rules
• On the rules of suppositions in formal logic
• Decidable modal logic with undecidable admissibility problem
• Models of deduction
• Cut as Consequence
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Identity of Proofs Based on Normalization and Generality
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Functional completeness of cartesian categories
• Bolzano’s Logical System
• The Context of Inference
• On the scope of the classical deduction theorem
• Deductive systems and categories
• Deductive Completeness
• On natural deduction
• Propositional Calculus and Realizability