scientific article; zbMATH DE number 966887

MaRDI QIDQ5690139zbMATH OpenFDO

Authors Kazimierz Świrydowicz

Publication date 16 July 1997

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)

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

Cited in

(10)

• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Maximality of the minimal \(\mathcal R\)-logic
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
• A note on R\(\rightarrow\) matrices
• Upper part of the lattice of extensions of the positive relevant logic \(\mathbf R^+\)
• Larisa Maksimova’s Early Contributions to Relevance Logic
• scientific article; zbMATH DE number 3846843 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2209457 (Why is no real title available?)

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)