BCK is not structurally complete

DOI10.1215/00294527-2420642zbMath1327.03017OpenAlexW2071182863MaRDI QIDQ2452677

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 rulesstructural completenessBCK logic

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Almost structural completeness; an algebraic approach ⋮ Deductive systems with multiple-conclusion rules and the disjunction property

Cites Work

• Unnamed Item
• Self-implications in BCI
• Structural completeness in fuzzy logics
• Structural Completeness in Substructural Logics
• An algebra related with a propositional calculus

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