3088 varieties a solution to the Ackermann constant problem

Journal of Symbolic Logic 50 (2):487-501 (1985)
  Copy   BIBTEX

Abstract

It is shown that there are exactly six normal DeMorgan monoids generated by the identity 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 "Ackerman constant problem" of describing the structure of sentential constants in the logic R

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 107,141

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
Locally finite monoids in finitely based varieties.Edmond W. H. Lee - 2019 - Logic Journal of the IGPL 27 (5):743-745.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
Classification of Weak De Morgan Algebras.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (3):396-406.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Models of Relevant Arithmetic.John Slaney - 2022 - Australasian Journal of Logic 19 (1).
Four Variables Suffice.Alasdair Urquhart - 2007 - Australasian Journal of Logic 5:66-73.

Analytics

Added to PP
2009-01-28

Downloads
60 (#406,647)

6 months
7 (#736,481)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.

Add more references