Note on Deduction Theorems in contraction-free logics

DOI10.1002/malq.201110065zbMath1248.03014OpenAlexW2019481960MaRDI QIDQ2888635

Karel Chvalovský, Petr Cintula

Publication date: 1 June 2012

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

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

zbMATH Keywords

substructural logicslocal deduction theoremcontraction-free logicsBCI-logicrule of contraction

Mathematics Subject Classification ID

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

Related Items (1)

Lattice BCK logics with Modus Ponens as unique rule

Cites Work

• Unnamed Item
• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• Weakly implicative (fuzzy) logics. I: Basic properties
• Notes on the axiomatics of the propositional calculus
• Principal type-schemes and condensed detachment

This page was built for publication: Note on Deduction Theorems in contraction-free logics