Two pretabular linear extensions of relevance logic R
From MaRDI portal
Publication:5156188
DOI10.1080/11663081.2021.1915687OpenAlexW3180768201MaRDI QIDQ5156188FDOQ5156188
Authors: Asadollah Fallahi
Publication date: 15 October 2021
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2021.1915687
Recommendations
- A second pretabular classical relevance logic
- LC and its pretabular relatives
- A pretabular classical relevance logic
- 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
- Simple axiomatizations for pretabular classical relevance logics
Cites Work
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic completeness results for R-mingle and its extensions
- Pretabular superintuitionistic logic
- The tabularity problem over the minimal logic
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Simplified semantics for basic relevant logics
- Equivalents of mingle and positive paradox
- A second pretabular classical relevance logic
- A pretabular classical relevance logic
- LC and its pretabular relatives
- 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
- Varieties of De Morgan monoids: minimality and irreducible algebras
- \(\mathbf{RM}\) and its nice properties
- Simple axiomatizations for pretabular classical relevance logics
Cited In (7)
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- On pretabular extensions of relevance logic
- 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
- A pretabular classical relevance logic
This page was built for publication: Two pretabular linear extensions of relevance logic R
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5156188)