There are 2^_ 0 logics with the relevance principle between R and RM

DOI10.1007/BF01418759zbMATH Open0538.03018OpenAlexW46285796MaRDI QIDQ793002FDOQ793002

W. Dziobiak

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01418759

Recommendations

• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• \(\mathbf R\) and relevance principle revisited
• Relevant entailment—semantics and formal systems
• Relevance and paraconsistency - a new approach. II: The formal systems

zbMATH Keywords

relevancerelevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Other algebras related to logic (03G25)

Cites Work

• Title not available (Why is that?)
• Entailment and relevance¹
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions

Cited In (12)

• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Varieties of De Morgan monoids: minimality and irreducible algebras
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Structural completeness in relevance logics
• Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
• Singly generated quasivarieties and residuated structures
• On Sahlqvist formulas in relevant logic
• On pretabular extensions of relevance logic
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
• Relevance and paraconsistency—a new approach
• Natural deduction and sequent calculus for intuitionistic relevant logic
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE

This page was built for publication: There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM

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