Affiliation:
1. Department of Philosophy, University of Bergen, PB 7805, 5020 Bergen, Norway
Abstract
Abstract
It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.
Publisher
Oxford University Press (OUP)
Reference22 articles.
1. Begründung einer strengen Implikation;Ackermann,1956
2. Modalities in Ackermann’s “rigorous implication”;Anderson;Journal of Symbolic Logic,1959
3. Completeness proofs for the systems RM3 and BN4;Brady;Logique et Analyse,1982
4. Rules in relevant logic—II: Formula representation;Brady;Studia Logica,1993
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献