Deduction theorems within RM and its extensions

DOI10.2307/2586764zbMath0967.03015OpenAlexW2032293028MaRDI QIDQ4254635

Janusz Czelakowski, Wiesław Dziobiak

Publication date: 29 June 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586764

zbMATH Keywords

deduction theoremconsequence operationrelevant logicalgebraizationSugihara algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Contextual deduction theorems ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Fragments of R-mingle ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

Cites Work

• Unnamed Item
• Algebraic aspects of deduction theorems
• Local deductions theorems
• A deduction theorem schema for deductive systems of propositional logics
• A survey of deduction theorems for the propositional calculi
• On the lattice of quasivarieties of Sugihara algebras
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Algebraizable logics
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: Deduction theorems within RM and its extensions