Deduction theorems within RM and its extensions
From MaRDI portal
Publication:4254635
Recommendations
Cites work
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- A deduction theorem schema for deductive systems of propositional logics
- A survey of deduction theorems for the propositional calculi
- Algebraic aspects of deduction theorems
- Algebraic completeness results for R-mingle and its extensions
- Algebraizable logics
- Local deductions theorems
- On the lattice of quasivarieties of Sugihara algebras
- The parameterized local deduction theorem for quasivarieties of algebras and its application
Cited in
(9)- scientific article; zbMATH DE number 1205874 (Why is no real title available?)
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Contextual deduction theorems
- Fragments of R-mingle
- A relational model for the logic of deduction
- 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)
