A Constructive Proof of a Theorem in Relevance Logic

DOI10.1002/MALQ.19850312505MaRDI QIDQ3714053zbMATH OpenOpenAlexFDO

Authors Aleksandar Kron

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850312505

zbMATH Keywords

proof theoryrelevant logic P-W

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• The fundamental S-theorem - A corollary
• A dynamic characterization of the pure logic of relevant implication
• scientific article; zbMATH DE number 1354102
• scientific article; zbMATH DE number 2101978
• The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems

Cited in

(7)

• A note on the decidability of a strong relevant logic
• A lambda proof of the P-W theorem
• scientific article; zbMATH DE number 823596 (Why is no real title available?)
• A dynamic characterization of the pure logic of relevant implication
• Progressive logic
• New(ish) foundations for theories of entailment
• The fundamental S-theorem - A corollary

This page was built for publication: A Constructive Proof of a Theorem in Relevance Logic

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