Lattice BCK logics with modus ponens as unique rule

DOI10.1002/MALQ.201300065MaRDI QIDQ5419214zbMATH OpenOpenAlexFDO

Authors Joan Gispert i Brasó, Antoni Torrens

Publication date 6 June 2014

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201300065

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 150217
• Replacing Modus Ponens With One-Premiss Rules
• BCK is not structurally complete
• Logics without the contraction rule
• scientific article; zbMATH DE number 4204312

Cites work

• scientific article; zbMATH DE number 3884155 (Why is no real title available?)
• scientific article; zbMATH DE number 3884157 (Why is no real title available?)
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• An algebra related with a propositional calculus
• Bounded BCK-algebras and their generated variety
• Free Łukasiewicz and hoop residuation algebras
• Local deductions theorems
• Note on deduction theorems in contraction-free logics
• Notes on the axiomatics of the propositional calculus
• On the quasivariety of BCK-algebras and its subvarieties

This page was built for publication: Lattice BCK logics with modus ponens as unique rule

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