Abstract
An Ackermann constant is a formula of sentential logic built up from the sentential constant t by closing under connectives. It is known that there are only finitely many non-equivalent Ackermann constants in the relevant logic R. In this paper it is shown that the most natural systems close to R but weaker than it-in particular the non-distributive system LR and the modalised system NR-allow infinitely many Ackermann constants to be distinguished. The argument in each case proceeds by construction of an algebraic model, infinite in the case of LR and of arbitrary finite size in the case of NR. The search for these models was aided by the computer program MaGIC (Matrix Generator for Implication Connectives) developed by the author at the Australian National University.
Similar content being viewed by others
References
A. R. Anderson andN. D. Belnap,Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton, Princeton University Press, 1975.
D. Gabbay andF. Günthner,Handbook of Philosophical Logic, Vol. 3, Dordrecht, Reidel, 1986.
J.-Y. Girard, Linear Logic,Theoretical Computer Science 50 (1988) pp. 1–101.
R. K. Meyer,Sentential Constants in R and R.Studia Logica 45 (1986), pp. 301–327.
I. Nishimura,On Formulas of One Variable in Intuitionistic Propositional Calculus Journal of Symbolic Logic 25 (1960), pp. 327–331.
J. K. Slaney,3088 Varieties: A Solution to the Ackermann Constant Problem Journal of Symbolic Logic 50 (1985), pp. 487–501.
J. K. Slaney,On the Structure of De Morgan Monoids, With Corollaries on Relevant Logic and Theories Notre Dame Journal of Formal Logic 30 (1989), pp. 117–129.
J. Slaney, T. Surendonk andR. Girle,Time, Truth and Logic technical report TR-ARP-3/89, Australian National University, Canberra, 1989.
P. B. Thistlewaite, M. A. McRobbie andR. K. Meyer,Automated Theorem-Proving in Non-Classical Logics London, Pitman, 1988.
A. Urquhart,The Complexity of Decision Procedures in Relevance Logic in J. M. Dunn and A. Gupta (eds),Truth or Consequences, Essays in Honour of Nuel Belnap Dordrecht, Kluwer, 1990, pp. 61–76.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Slaney, J. Sentential constants in systems near R. Stud Logica 52, 443–455 (1993). https://doi.org/10.1007/BF01057657
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01057657