Natural deduction and sequent calculus for intuitionistic relevant logic

DOI10.2307/2274355zbMath0652.03010OpenAlexW4248890745MaRDI QIDQ3797160

Neil Tennant

Publication date: 1987

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274355

zbMATH Keywords

natural deductionintuitionistic logicsequent calculirelevance logicsGentzen systemsintuitionismrelevant logicsconsecution calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intuitionistic mathematics (03F55)

Related Items (14)

Classical harmony: Rules of inference and the meaning of the logical constants ⋮ Connectives stranger than tonk ⋮ CUT FOR CORE LOGIC ⋮ The objectivity of mathematics ⋮ On the equivalence conjecture for proof-theoretic harmony ⋮ Core Type Theory ⋮ On argumentation logic and propositional logic ⋮ Why conclusions should remain single ⋮ A model of tolerance ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ The good, the bad and the ugly ⋮ Anti-realist truth and concepts of superassertibility ⋮ The revival of rejective negation ⋮ Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision

This page was built for publication: Natural deduction and sequent calculus for intuitionistic relevant logic