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

zbMATH Open1098.03029MaRDI QIDQ3377756FDOQ3377756

Authors: Kazimierz Świrydowicz 

Publication date: 29 March 2006

Recommendations

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

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)

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)