On analysing relevance constructively

DOI10.1007/BF00370440zbMath0406.03031OpenAlexW2083063230MaRDI QIDQ1257472

Garrel Pottinger

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370440

zbMATH Keywords

Intuitionistic Propositional CalculusRelevant LogicConservative Extension of Pure Implicational FragmentsNatural Deduction SystemProof-Theoretic Analysis

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Related Items (1)

An interpretation of classical proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new classical relevance logic
• Completeness of the normal typed fragment of the \(\lambda\)-system \(U\)
• A new way of normalizing intuitionistic propositional logic

This page was built for publication: On analysing relevance constructively