scientific article; zbMATH DE number 638618

MaRDI QIDQ4305491zbMATH OpenFDO

Authors John K. Slaney, Martin W. Bunder

Publication date 29 January 1995

zbMATH Keywords

classical logicimplicational logicindependence

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60)

Recommendations

• BCI-Algebras and Related Logics
• Classical BI: Its Semantics and Proof Theory
• scientific article; zbMATH DE number 1406812
• BCK and BCI logics, condensed detachment and the 2-property
• scientific article; zbMATH DE number 3918331
• scientific article; zbMATH DE number 3889528
• Classical logic, intuitionistic logic, and the Peirce rule
• A hierarchy of classical and paraconsistent logics
• Logics for Computer Science
• scientific article; zbMATH DE number 1241698

Cited in

(10)

• BCK and BCI logics, condensed detachment and the 2-property
• The finite model property for BCK and BCIW
• An abelian rule for BCI -- and variations
• Classical BI: Its Semantics and Proof Theory
• scientific article; zbMATH DE number 150217 (Why is no real title available?)
• scientific article; zbMATH DE number 1222495 (Why is no real title available?)
• scientific article; zbMATH DE number 700343 (Why is no real title available?)
• scientific article; zbMATH DE number 2024626 (Why is no real title available?)
• Classical BI
• Self-implications in BCI

Describes a project that uses

Uses Software

• SCOTT

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 Q4305491)