Deduction theorems for RM and its extensions

DOI10.1007/BF00370436zbMath0406.03027MaRDI QIDQ1257468

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)

Related Items (5)

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

Cites Work

• Algebraic completeness results for R-mingle and its extensions
• Unnamed Item

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