The adequacy problem for inferential logic
From MaRDI portal
Publication:1258298
zbMath0408.03020MaRDI QIDQ1258298
R. S. Tragesser, Jeffery Zucker
Publication date: 1978
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) General logic (03B99)
Related Items (9)
Tarski's conception of logic ⋮ What is the logic of inference? ⋮ Language in action ⋮ General-elimination stability ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Logic, logics, and logicism ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication: The adequacy problem for inferential logic
