The Deduction Theorem (Before and After Herbrand)

DOI10.1080/01445340.2021.1889117zbMATH Open1512.03025OpenAlexW3137246604MaRDI QIDQ6098653FDOQ6098653

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

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

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)