Natural deduction and sequent calculus for intuitionistic relevant logic
From MaRDI portal
Publication:3797160
DOI10.2307/2274355zbMath0652.03010OpenAlexW4248890745MaRDI QIDQ3797160
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
natural deductionintuitionistic logicsequent calculirelevance logicsGentzen systemsintuitionismrelevant logicsconsecution calculus
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