Deduction theorems within RM and its extensions

DOI10.2307/2586764zbMATH Open0967.03015OpenAlexW2032293028MaRDI QIDQ4254635FDOQ4254635

Janusz Czelakowski, W. 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

relevant logicalgebraizationdeduction theoremconsequence operationSugihara algebras

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebraizable logics
• Algebraic aspects of deduction theorems
• Local deductions theorems
• A deduction theorem schema for deductive systems of propositional logics
• Algebraic completeness results for R-mingle and its extensions
• On the lattice of quasivarieties of Sugihara algebras
• A survey of deduction theorems for the propositional calculi
• The parameterized local deduction theorem for quasivarieties of algebras and its application

Cited In (8)

• Title not available (Why is that?)
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Contextual deduction theorems
• Fragments of R-mingle
• Reflecting rules: a note on generalizing the deduction theorem
• An extension of the formal deductive system \({\mathcal L}^*\)
• On pretabular extensions of relevance logic
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

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

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