Author:
Fallahi Asadollah,Raftery James Gordon
Abstract
AbstractWe 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\rightarrow q)\vee (q\rightarrow p)$$
(
p
→
q
)
∨
(
q
→
p
)
has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.
Funder
National Research Foundation of South Africa
Iran National Science Foundation
University of Pretoria
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference41 articles.
1. Anderson, A. R., and N. D. Belnap, Jr., Modalities in Ackermann’s rigorous implication, The Journal of Symbolic Logic 24:107–111, 1959.
2. Anderson, A. R., and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.
3. Bergman, C., Universal Algebra. Fundamentals and Selected Topics, CRC Press, Taylor & Francis, 2012.
4. Blok, W. J., Pretabular varieties of modal algebras, Studia Logica 39:101–124, 1980.
5. Blok, W. J., P. Köhler, and D. Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18:334–379, 1984.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献