There exist exactly two maximal strictly relevant extensions of the relevant logic R
From MaRDI portal
Publication:4934032
Recommendations
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- scientific article; zbMATH DE number 966887
- Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
- Maximality of the minimal R-logic
- Implicational relevance logic is 2-\textsc{ExpTime}-complete
- Implicational Relevance Logic is 2-ExpTime-Complete
- Two pretabular linear extensions of relevance logic R
- scientific article; zbMATH DE number 3853040
- On purely relevant logics
- The restricted logic equivalence relation in two-valued propositional logic and its applications
Cites work
Cited in
(12)- Varieties of De Morgan monoids: minimality and irreducible algebras
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- Structural completeness in relevance logics
- Upper part of the lattice of extensions of the positive relevant logic R^+
- Remark on Belyĭ's paper concerning Galois extensions of the maximal cyclotomic field with certain linear groups as Galois groups
- Relevance-Sensitive Truth-Trees
- 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
- scientific article; zbMATH DE number 966887 (Why is no real title available?)
- Topics, non-uniform substitutions, and variable sharing
- Variable-sharing as relevance
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
This page was built for publication: There exist exactly two maximal strictly relevant extensions of the relevant logic R
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934032)
