On pretabular extensions of relevance logic
| dc.contributor.author | Fallahi, Asadollah | |
| dc.contributor.author | Raftery, James G. | |
| dc.contributor.email | james.raftery@up.ac.za | en_US |
| dc.date.accessioned | 2024-11-27T11:08:25Z | |
| dc.date.available | 2024-11-27T11:08:25Z | |
| dc.date.issued | 2024-10 | |
| dc.description.abstract | We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom (p → q) ∨ (q → p) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants. | en_US |
| dc.description.department | Mathematics and Applied Mathematics | en_US |
| dc.description.librarian | am2024 | en_US |
| dc.description.sdg | None | en_US |
| dc.description.sponsorship | The Iran National Science Foundation (NSF) and the National Research Foundation of South Africa. Open access funding provided by University of Pretoria. | en_US |
| dc.description.uri | http://link.springer.com/journal/11225 | en_US |
| dc.identifier.citation | Fallahi, A., Raftery, J.G. On Pretabular Extensions of Relevance Logic. Studia Logica 112, 967–985 (2024). https://doi.org/10.1007/s11225-023-10081-2. | en_US |
| dc.identifier.issn | 0039-3215 (print) | |
| dc.identifier.issn | 1572-8730 (online) | |
| dc.identifier.other | 10.1007/s11225-023-10081-2 | |
| dc.identifier.uri | http://hdl.handle.net/2263/99625 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.rights | © The Author(s) 2023. Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License. | en_US |
| dc.subject | Pretabular variety | en_US |
| dc.subject | De Morgan monoid | en_US |
| dc.subject | Relevant algebra | en_US |
| dc.subject | Semilinearity | en_US |
| dc.subject | Relevance logic | en_US |
| dc.title | On pretabular extensions of relevance logic | en_US |
| dc.type | Article | en_US |