Deduction theorems for RM and its extensions

DOI10.1007/BF00370436zbMATH Open0406.03027MaRDI QIDQ1257468FDOQ1257468

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

• Title not available (Why is that?)
• 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)