Upper part of the lattice of extensions of the positive relevant logic R^+

MaRDI QIDQ3377756zbMATH OpenFDO

Authors Kazimierz Świrydowicz

Publication date 29 March 2006

zbMATH Keywords

lattice of extensionsco-atomspositive relevant logicrelevance property

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• On purely relevant logics
• scientific article; zbMATH DE number 966887
• R and relevance principle revisited
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)

This page was built for publication: Upper part of the lattice of extensions of the positive relevant logic \(\mathbf R^+\)

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