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

DOI10.2178/JSL/1230396916zbMATH Open1161.03011OpenAlexW2076149013MaRDI QIDQ5502814FDOQ5502814

Authors: Kazimierz Świrydowicz 

Publication date: 9 January 2009

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1230396916

Recommendations

• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• scientific article; zbMATH DE number 966887
• Algebraic analysis of the logic with the quantifier there exist uncountably many
• scientific article; zbMATH DE number 6476595
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• The poset of all logics. III: Finitely presentable logics
• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• On FE-precomplete classes in countable-valued logic

zbMATH Keywords

relevant logicpretabular logicRoutley-Meyer ternary semantics

Mathematics Subject Classification ID

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

Cites Work

• Note on algebraic models for relevance logic
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Structural entailment
• Algebraic completeness results for R-mingle and its extensions
• Pretabular varieties of modal algebras
• On the lattice of quasivarieties of Sugihara algebras

Cited In (10)

• Title not available (Why is that?)
• On pretabular logics in NExtK4. II
• On pretabular logics in NExtK4. I
• On pretabular extensions of relevance logic
• Nilpotent Minimum Logic NM and Pretabularity
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Simple axiomatizations for pretabular classical relevance logics
• A second pretabular classical relevance logic
• LC and its pretabular relatives
• Two pretabular linear extensions of relevance logic R

This page was built for publication: 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

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