Self-implications in BCI

DOI10.1215/00294527-2008-013zbMath1167.03018OpenAlexW2053939420MaRDI QIDQ948761

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

sequent systemBCI logicself-implication

Mathematics Subject Classification ID

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

Related Items (2)

Replacement in logic ⋮ BCK is not structurally complete

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