Deduction theorems within RM and its extensions
From MaRDI portal
Publication:4254635
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
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