scientific article; zbMATH DE number 1471995

MaRDI QIDQ4489079zbMATH OpenFDO

Authors

Publication date 20 September 2000

zbMATH Keywords

intuitionistic logicmodal logicnonclassical logicsrelevance logicPeirce's lawminimal implicational logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A Remark on Peirce’s Law
• scientific article; zbMATH DE number 1417194
• scientific article; zbMATH DE number 2171658
• Specifying Peirce's law in classical realizability
• The Peircean continuum
• Peirce's logic of continuity
• scientific article; zbMATH DE number 1354830
• scientific article; zbMATH DE number 22241

Cited in

(1)

• scientific article; zbMATH DE number 4172950 (Why is no real title available?)

This page was built for publication:

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