Note on deduction theorems in contraction-free logics
type: Item
instance of: scholarly article
zbMATH Open document ID: 1248.03014
author: Karel Chvalovský
author: Petr Cintula
publication date: 2012-06-01T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 6040460
zbMATH Keywords: local deduction theorem
zbMATH Keywords: BCI-logic
zbMATH Keywords: substructural logics
zbMATH Keywords: rule of contraction
zbMATH Keywords: contraction-free logics
MaRDI profile type: Publication
full work available at URL: malq.201110065
OpenAlex ID: W2019481960
cites work: Q4085699
cites work: Weakly implicative (fuzzy) logics. I: Basic properties
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Linear logic
cites work: Metamathematics of fuzzy logic
cites work: Principal type-schemes and condensed detachment
cites work: Notes on the axiomatics of the propositional calculus
DOI: 10.1002/MALQ.201110065
Recommended article: A note on contraction-free logic for validity
Recommended article: Q5279185
Recommended article: Contraction-free sequent calculi for intuitionistic logic
Recommended article: Q3466596
Recommended article: A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic
Recommended article: Q3309802
Recommended article: Note on some fixed point constructions in provability logic
Recommended article: Deduction theorem in congruential modal logics
Recommended article: Canonical extensions for congruential logics with the deduction theorem
Recommended article: A metacompleteness theorem for contraction-free relevant logics
title: Note on deduction theorems in contraction-free logics
published in: Mathematical Logic Quarterly (MLQ)
description: scientific article; zbMATH DE number 6040460