BCK is not structurally complete

DOI10.1215/00294527-2420642MaRDI QIDQ2452677zbMATH OpenOpenAlexFDO

Authors Tomasz Kowalski

Publication date 4 June 2014

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

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1398345780

zbMATH Keywords

admissible rulesBCK logicstructural completeness

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) BCK-algebras, BCI-algebras (06F35)

Recommendations

• scientific article; zbMATH DE number 3875241
• Hereditarily structurally complete modal logics
• scientific article; zbMATH DE number 4204312
• scientific article; zbMATH DE number 2099386
• scientific article; zbMATH DE number 4202236

Cites work

• An algebra related with a propositional calculus
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• Self-implications in BCI
• Structural completeness in fuzzy logics
• Structural Completeness in Substructural Logics

Cited in

(8)

• Deductive systems with multiple-conclusion rules and the disjunction property
• An abelian rule for BCI -- and variations
• Almost structural completeness; an algebraic approach
• On the linear complexity of Ding-Helleseth generalized cyclotomic binary sequences of order four and six
• scientific article; zbMATH DE number 4202236 (Why is no real title available?)
• scientific article; zbMATH DE number 2099386 (Why is no real title available?)
• scientific article; zbMATH DE number 975274 (Why is no real title available?)
• Lattice BCK logics with modus ponens as unique rule

This page was built for publication: BCK is not structurally complete

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