The Context of Inference

DOI10.1080/01445340.2018.1439257zbMath1427.03015OpenAlexW2791130656MaRDI QIDQ5208107

Curtis Franks

Publication date: 15 January 2020

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

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

The Deduction Theorem (Before and After Herbrand) ⋮ Logic Discovered and Logic Imposed (A Purim Story)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consequence relations and admissible rules
• Does the deduction theorem fail for modal logic?
• Intuitionism. An introduction
• On disjunctions and existential statements in intuitionistic systems of logic
• Remarks on Frege's conception of inference
• Provability interpretations of modal logic
• Admissibility of logical inference rules
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Decidable modal logic with undecidable admissibility problem
• On the metamathematics of algebra
• On the admissible rules of intuitionistic propositional logic
• Cut as Consequence
• The compactness of first-order logic:from gödel to lindström
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Rules of inference with parameters for intuitionistic logic
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Propositional Calculus and Realizability
• On the interpretation of intuitionistic number theory

This page was built for publication: The Context of Inference