Self-implications in BCI

DOI10.1215/00294527-2008-013MaRDI QIDQ948761zbMATH OpenOpenAlexFDO

Authors Tomasz Kowalski

Publication date 20 October 2008

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2008-013

zbMATH Keywords

BCI logicself-implicationsequent system

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure of proofs (03F07)

Recommendations

• A note on monothetic BCI
• How big is BCI fragment of BCK logic
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• BCK and BCI logics, condensed detachment and the 2-property
• scientific article; zbMATH DE number 638618

Cited in

(4)

• Replacement in logic
• A note on monothetic BCI
• BCK is not structurally complete
• scientific article; zbMATH DE number 6290319 (Why is no real title available?)

This page was built for publication: Self-implications in BCI

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