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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274237
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
Through your library

References found in this work BETA

Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Classical relevant logics. I.R. K. Meyer - 1973 - Studia Logica 32:51.

Add more references

Citations of this work BETA

Sentential Constants in R and R⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.
Sentential Constants in Systems Near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
2010 Winter Meeting of the Association for Symbolic Logic.Stewart Shapiro - 2010 - Bulletin of Symbolic Logic 16 (3):438-444.

View all 6 citations / Add more citations

Similar books and articles

The Quantum Vacuum and the Cosmological Constant Problem.E. S. & H. Zinkernagel - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (4):663-705.
The Quantum Vacuum and the Cosmological Constant Problem.Svend E. Rugh & Henrik Zinkernagel - 2001 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (4):663-705.
The Cosmological Constant, the Fate of the Universe, Unimodular Gravity, and All That.John Earman - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (4):559-577.
The Frame Problem: An AI Fairy Tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.
Decidability Problem for Finite Heyting Algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Sentential Constants in Systems Near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.

Analytics

Added to PP index
2009-01-28

Total views
26 ( #427,489 of 2,463,158 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,158 )

How can I increase my downloads?

Downloads

My notes