The adequacy problem for inferential logic

MaRDI QIDQ1258298zbMATH OpenFDO

Authors R. S. Tragesser, Jeffery Zucker

Publication date 1978

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

Adequacy ProblemGentzen-Type LogicInferential Propositional LogicIntuitionismPredicate Logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99) Intuitionistic mathematics (03F55)

Cited in

(11)

• Language in action
• Functional completeness for subsystems of intuitionistic propositional logic
• 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
• What is the logic of inference?
• General-elimination stability
• Logic, logics, and logicism
• Tarski's conception of logic
• Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
• When rules define logical operators: rules as second-order definitions
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: The adequacy problem for inferential logic

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