Two infinite sequences of pre-maximal extensions of the relevant logic E
From MaRDI portal
Publication:5241401
Recommendations
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- Two pretabular linear extensions of relevance logic R
- scientific article; zbMATH DE number 966887
- Remark on Belyĭ's paper concerning Galois extensions of the maximal cyclotomic field with certain linear groups as Galois groups
- 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
Cites work
- Begründung einer strengen Implikation
- E and S4
- scientific article; zbMATH DE number 3706448 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3353242 (Why is no real title available?)
- scientific article; zbMATH DE number 966887 (Why is no real title available?)
- Implication lattices
- Intensional models for first degree formulas
- Note on algebraic models for relevance logic
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
Cited in
(4)- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- Upper part of the lattice of extensions of the positive relevant logic R^+
- 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
This page was built for publication: Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241401)
