The Context of Inference
From MaRDI portal
Publication:5208107
DOI10.1080/01445340.2018.1439257zbMath1427.03015OpenAlexW2791130656MaRDI QIDQ5208107
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
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