On pretabular extensions of relevance logic

Fallahi, Asadollah; Raftery, James G.

UPSpace Home
→
Natural and Agricultural Sciences
→
Mathematics and Applied Mathematics
→
Research Articles (Mathematics and Applied Mathematics)
→
View Item

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