Journal of Symbolic Logic 50 (2):487-501 (1985)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
Algebraic Characterizations of Various Beth Definability Properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Decidability Problem for Finite Heyting Algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
The Frame Problem: An AI Fairy Tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.
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 Quantum Vacuum and the Cosmological Constant Problem.Svend E. Rugh & Henrik 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.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.
A Tableau Decision Algorithm for Modalized ALC with Constant Domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
Added to index2009-01-28
Total downloads7 ( #525,898 of 2,171,976 )
Recent downloads (6 months)1 ( #326,556 of 2,171,976 )
How can I increase my downloads?