Deduction theorems for RM and its extensions

DOI10.1007/BF00370436MaRDI QIDQ1257468zbMATH OpenFDO

Authors Marek Tokarz

Publication date 1979

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

MatrixDeduction TheoremRelevant LogicSugihara Algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• Algebraic completeness results for R-mingle and its extensions

Cited in

(5)

• A deduction theorem schema for deductive systems of propositional logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Fragments of R-mingle
• On the closure properties of the class of full G-models of a deductive system
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

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

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