Injective De Morgan and Kleene algebras
HTML articles powered by AMS MathViewer
- by Roberto Cignoli PDF
- Proc. Amer. Math. Soc. 47 (1975), 269-278 Request permission
Abstract:
The aim of this paper is to characterize the injective objects in both the category of De Morgan algebras and the subcategory of Kleene algebras.References
- A. Białynicki-Birula, Remarks on quasi-Boolean algebras, Bull. Acad. Polon. Sci. Cl. III. 5 (1957), 615–619, LII–LIII (English, with Russian summary). MR 0089181
- A. Bialynicki-Birula and H. Rasiowa, On the representation of quasi-Boolean algebras, Bull. Acad. Polon. Sci. Cl. III 5 (1957), 259–261, XXII (English, with Russian summary). MR 0087628
- A. Białynicki-Birula and H. Rasiowa, On constructible falsity in the constructive logic with strong negation, Colloq. Math. 6 (1958), 287–310. MR 101843, DOI 10.4064/cm-6-1-287-310
- Roberto Cignoli, Moisil algebras, Notas de Lógica Matemática, No. 27, Universidad Nacional del Sur, Instituto de Matemática, Bahía Blanca, 1970. MR 0345884
- Roberto Cignoli and Antonio Monteiro, Boolean elements in Lukasiewicz algebras. II, Proc. Japan Acad. 41 (1965), 676–680. MR 201354
- George Grätzer, Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., San Francisco, Calif., 1971. MR 0321817 J. S. Johnson, Review of [13], Zbl. Math. 248 (1973), #02068.
- J. A. Kalman, Lattices with involution, Trans. Amer. Math. Soc. 87 (1958), 485–491. MR 95135, DOI 10.1090/S0002-9947-1958-0095135-X G. Moisil, Recherches sur l’algèbre de la logique, Ann. Sci. Univ. Jassy 22 (1935), 1-117.
- António Monteiro, Matrices de Morgan caractéristiques pour le calcul propositionnel classique, An. Acad. Brasil. Ci. 32 (1960), 1–7 (French). MR 156774 —, Lectures given at the Univ. Nacional del Sur, Bahía Blanca, Argentina, 1962.
- Luiz Monteiro, Sur les algèbres de Lukasiewicz injectives, Proc. Japan Acad. 41 (1965), 578–581 (French). MR 197371
- Ioana Petrescu, Injective objects in the category of Morgan algebras, Rev. Roumaine Math. Pures Appl. 16 (1971), 921–926. MR 286731
- Roman Sikorski, A theorem on extension of homomorphisms, Ann. Soc. Polon. Math. 21 (1948), 332–335 (1949). MR 0030935
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 47 (1975), 269-278
- DOI: https://doi.org/10.1090/S0002-9939-1975-0357259-4
- MathSciNet review: 0357259