3088 varieties: A solution to the Ackermann constant problem

1 June 1985

journal article
research article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 50 (2) , 487-501
https://doi.org/10.2307/2274237

Abstract

It is shown that there are exactly six normal DeMorgan monoids generated by the idntity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the “Ackermann constant problem” of describing the structure of sentential constants in the logic R.

This publication has 1 reference indexed in Scilit:

Classical relevant logics. I
Studia Logica, 1973