We are excited to announce that the repository will soon undergo an upgrade, featuring a new look and feel along with several enhanced features to improve your experience. Please be on the lookout for further updates and announcements regarding the launch date. We appreciate your support and look forward to unveiling the improved platform soon.
dc.contributor.author | Fallahi, Asadollah![]() |
|
dc.contributor.author | Raftery, James G.![]() |
|
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 |