Natural deduction and sequent calculus for intuitionistic relevant logic
From MaRDI portal
Publication:3797160
DOI10.2307/2274355zbMath0652.03010MaRDI 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 deduction; intuitionistic logic; sequent calculi; relevance logics; Gentzen systems; intuitionism; relevant logics; consecution calculus
Related Items
Core Type Theory, Why conclusions should remain single, Connectives stranger than tonk, The objectivity of mathematics, A model of tolerance, The good, the bad and the ugly, Anti-realist truth and concepts of superassertibility, Classical harmony: Rules of inference and the meaning of the logical constants, The revival of rejective negation, On argumentation logic and propositional logic, On the equivalence conjecture for proof-theoretic harmony, Normality, non-contamination and logical depth in classical natural deduction, Book review of: Neil Tennant, Changes of mind. An essay on rational belief revision, CUT FOR CORE LOGIC