The Deduction Theorem (Before and After Herbrand)

DOI10.1080/01445340.2021.1889117MaRDI QIDQ6098653zbMATH OpenOpenAlexFDO

Authors 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) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Cites work

• scientific article; zbMATH DE number 6536296 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3784836 (Why is no real title available?)
• scientific article; zbMATH DE number 1232462 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• Admissibility of logical inference rules
• Algebraic aspects of deduction theorems
• Bolzano’s Logical System
• Consequence relations and admissible rules
• Cut as consequence
• Decidable modal logic with undecidable admissibility problem
• Deductive Completeness
• Deductive systems and categories
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Functional completeness of cartesian categories
• Identity of Proofs Based on Normalization and Generality
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
• Models of deduction
• On disjunctions and existential statements in intuitionistic systems of logic
• On natural deduction
• On the rules of suppositions in formal logic
• On the scope of the classical deduction theorem
• Propositional Calculus and Realizability
• The context of inference
• The mathematics of logic. A guide to completeness theorems and their applications
• The variety of consequence, according to Bolzano

Cited in

(3)

• Logic Discovered and Logic Imposed (A Purim Story)
• A logical consequence informed by probability
• On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle

This page was built for publication: The Deduction Theorem (Before and After Herbrand)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6098653)