Deduction theorems within RM and its extensions
From MaRDI portal
Publication:4254635
DOI10.2307/2586764zbMath0967.03015MaRDI 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
03G25: Other algebras related to logic
08C15: Quasivarieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
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