On analysing relevance constructively

DOI10.1007/BF00370440MaRDI QIDQ1257472zbMATH OpenOpenAlexFDO

Authors 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

Conservative Extension of Pure Implicational FragmentsIntuitionistic Propositional CalculusNatural Deduction SystemProof-Theoretic AnalysisRelevant Logic

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3573840 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3423994 (Why is no real title available?)
• A new classical relevance logic
• A new way of normalizing intuitionistic propositional logic
• Completeness of the normal typed fragment of the -system U

Cited in

(1)

• An interpretation of classical proofs

This page was built for publication: On analysing relevance constructively

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