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

DOI10.1007/BF01418759MaRDI QIDQ793002zbMATHOpenAlexFDO

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)

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

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

Cited in

(12)

• Singly generated quasivarieties and residuated structures
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Relevance and paraconsistency—a new approach
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Natural deduction and sequent calculus for intuitionistic relevant logic
• On pretabular extensions of relevance logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• 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 Sahlqvist formulas in relevant logic
• Structural completeness in relevance logics
• 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)