Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

DOI10.18778/0138-0680.48.1.03zbMath1477.03067OpenAlexW2971573791MaRDI QIDQ5241401

Lidia Typańska-Czajka

Publication date: 31 October 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.1.03

zbMATH Keywords

latticerelevant logicuniversal algebranon-classical logics

Mathematics Subject Classification ID

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

Related Items (1)

Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Implication lattices
• E and S4
• Begründung einer strengen Implikation
• Note on algebraic models for relevance logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Intensional models for first degree formulas

This page was built for publication: Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E