scientific article; zbMATH DE number 966887

zbMATH Open0869.03013MaRDI QIDQ5690139FDOQ5690139

Authors: Kazimierz Świrydowicz 

Publication date: 16 July 1997

Title of this publication is not available (Why is that?)

Recommendations

• Remark on Belyĭ's paper concerning Galois extensions of the maximal cyclotomic field with certain linear groups as Galois groups
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Upper part of the lattice of extensions of the positive relevant logic \(\mathbf R^+\)
• A note on R\(\rightarrow\) matrices

zbMATH Keywords

latticesvarietiesrelevance logicSugihara matrixmaximal extensionsdegree of maximalityCR-matrixlattice of extensions of relevant logic R

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10) Varieties of lattices (06B20)

Cited In (10)

• Maximality of the minimal \(\mathcal R\)-logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Upper part of the lattice of extensions of the positive relevant logic \(\mathbf R^+\)
• Title not available (Why is that?)
• A note on R\(\rightarrow\) matrices
• Larisa Maksimova’s Early Contributions to 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
• Title not available (Why is that?)
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

This page was built for publication:

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