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

DOI10.1007/BF01418759MaRDI QIDQ793002zbMATH OpenOpenAlexFDO

Authors 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

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)

Review text

It has become widely recognised in recent years that relevant logic, in addition to having a strong philosophical motivation as a plausible alternative to classical two-valued logic, is a rich area of interesting technical problems. This paper illustrates the latter of these. Using techniques from universal algebra, the author proves the result announced in the title.

Recommendations

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

Cites work

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

Cited in

(13)

• On Sahlqvist formulas in relevant logic
• Varieties of De Morgan monoids: minimality and irreducible algebras
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
• Structural completeness in relevance logics
• Relevance and paraconsistency—a new approach
• Natural deduction and sequent calculus for intuitionistic relevant logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Singly generated quasivarieties and residuated structures
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• 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
• On pretabular extensions of relevance logic
• The only 3-valued logic which is a natural implication expansion with the variable-sharing property of Kleene's strong logic

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)