Show simple item record

Free Modal Pseudocomplemented De Morgan Algebras

dc.contributor.authorFigallo, Aldo V.
dc.contributor.authorOliva, Nora
dc.contributor.authorZiliani, Alicia
dc.date.accessioned2019-01-14T14:54:39Z
dc.date.available2019-01-14T14:54:39Z
dc.date.issued2018
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/26414
dc.description.abstractModal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 53, 1 (2014), pp. 65–79, and they constitute a proper subvariety of the variety of pseudocomplemented De Morgan algebras satisfying xΛ(∼x)* = (∼(xΛ(∼x)*))* studied by H. Sankappanavar in 1987. In this paper the study of these algebras is continued. More precisely, new characterizations of mpM-congruences are shown. In particular, one of them is determined by taking into account an implication operation which is defined on these algebras as weak implication. In addition, the finite mpM-algebras were considered and a factorization theorem of them is given. Finally, the structure of the free finitely generated mpM-algebras is obtained and a formula to compute its cardinal number in terms of the number of the free generators is established. For characterization of the finitely-generated free De Morgan algebras, free Boole-De Morgan algebras and free De Morgan quasilattices see: [16, 17, 18].en_GB
dc.language.isoenen_GB
dc.publisherWydawnictwo Uniwersytetu Łódzkiegoen_GB
dc.relation.ispartofseriesBulletin of the Section of Logic;2
dc.rightsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.en_GB
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en_GB
dc.subjectPseudocomplemented De Morgan algebrasen_GB
dc.subjectcongruencesen_GB
dc.subjectfree algebrasen_GB
dc.titleFree Modal Pseudocomplemented De Morgan Algebrasen_GB
dc.typeArticleen_GB
dc.page.number[89]-106
dc.contributor.authorAffiliationAldo V. Figallo, Nora Oliva, Instituto de Ciencias Básicas, Universidad Nacional de San Juan, (5400) San Juan, Argentina
dc.contributor.authorAffiliationAlicia Ziliani, Instituto de Matemática, Universidad Nacional del Sur, (8000) Bahía Blanca, Argentina
dc.identifier.eissn2449-836X
dc.referencesR. Balbes, Ph. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974. Zbl0321.06012, MR0373985.en_GB
dc.referencesG. Birkhoff, Lattice Theory, American Mathematical Society, Col Pub., 25 3rd ed., Providence, 1967. Zbl0153.02501, MR0227053.en_GB
dc.referencesV. Boicescu, A. Filipoiu, G. Georgescu, S. Rudeanu, Łukasiewicz-Moisil Algebras, North-Holland Publishing Co., Amsterdam, 1991. Zbl0726.06007, MR1112790.en_GB
dc.referencesS. Burris, H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78, Springer-Verlag, Berlin, 1981. Zbl0478.08001, MR0648287.en_GB
dc.referencesA. V. Figallo, Tópicos sobre álgebras modales 4-valuadas, Proceeding of the IX Simposio Latino-Americano de Lógica Matemática, (Bahía Blanca, Argentina, 1992). Notas de Lógica Matemática 39(1992), pp. 145–157. MR1332541.en_GB
dc.referencesA. V. Figallo, P. Landini, Notes on 4-valued modal algebras, Preprints del Instituto de Ciencias Básicas, Universidad Nacional de San Juan 1(1990), pp. 28–37. Zbl0858.03062.en_GB
dc.referencesA. V. Figallo, N, Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 53, 1(2014), pp. 65–79. MR3331071.en_GB
dc.referencesJ. Font, M. Rius, An abstract algebraic logic approach to tetravalent modal logics, Journal of Symbolic Logic 65(2000), pp. 481–518. Zbl1013.03075, MR1771068.en_GB
dc.referencesV. Glivenko, Sur quelques points de la logique de M. Brouwer, Academie Royale de Belgique. Bulletin de la Classe des Sciences 15 (1929), pp. 183–188. Zbl55.0030.05.en_GB
dc.referencesG. Grätzer, H. Lakser, The structure of pseudocomplemented distributive lattices II. Congruence extension and amalgamation, Transactions of the American Mathematical Society 156 (1971), pp. 343–358. Zbl0244.06011, MR0274359.en_GB
dc.referencesT. Hecht, T. Katriňák, Principal congruences of p-algebras and double p-algebras, Proceedings of the American Mathematical Society 58 (1976), pp. 25–31. Zbl0352.06006, MR0409293.en_GB
dc.referencesJ. Kalman, Lattices with involution, Transactions of the American Mathematical Society 87 (1958), pp. 485–491. Zbl0228.06003, MR0095135.en_GB
dc.referencesI. Loureiro, Axiomatisation et propriétés des algèbres modales tétravalentes, Comptes Rendus Mathematique de l’Académie des Sciences Paris 295 (1982), Série I, pp. 555–557. Zbl0516.03010, MR0685023.en_GB
dc.referencesI. Loureiro, Algebras Modais Tetravalentes, PhD thesis, Faculdade de Ciências de Lisboa, Lisboa, Portugal, 1983.en_GB
dc.referencesA. Monteiro, La sémisimplicité des algèbres de Boole topologiques et les systémes déductifs, Revista de la Unión Matemática Argentina 25 (1975), pp. 417–448.en_GB
dc.referencesYu. M. Movsisyan, V. A. Aslanyan, Boole–De Morgan Algebras and Quasi–De Morgan Functions, Communications in Algebra 42 (2014), pp. 4757-477, Zbl 1338.06010, MR3210411.en_GB
dc.referencesYu. M. Movsisyan, V. A. Aslanyan, Super–De Morgan Functions and Free De Morgan Quasilattices, Central European Journal of Mathematics 12 (2014), pp. 1749–1761. Zbl 1346.08004, MR3232637.en_GB
dc.referencesYu. M. Movsisyan, V. A. Aslanyan, De Morgan Functions and Free De Morgan Algebras, Demonstratio Mathematica 2 (2014), pp. 271–283.en_GB
dc.referencesP. Ribenboim, Characterization of the sup-complement in a distributive lattice with last element, Surma Brasil Mathematics 2 (1949), pp. 43–49. Zbl0040.01003, MR0030931.en_GB
dc.referencesA. Romanowska, Subdirectly irreducible pseudocomplemented De Morgan algebras, Algebra Universalis 12 (1981), pp. 70–75. Zbl0457.06009, MR0608649.en_GB
dc.referencesH. Sankappanavar, Pseudocomplemented Okham and Demorgan algebras, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32 (1986), pp. 385–394. Zbl0612.06009, MR0860024.en_GB
dc.referencesH. Sankappanavar, Principal congruences of pseudocomplemented Demorgan algebras, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 33 (1987), pp. 3–11. Zbl0624.06016, MR0885477.en_GB
dc.referencesJ. Varlet, Algèbres de Łukasiewicz trivalentes, Bulletin de la Société Royale des Sciences de Liège, (1968), pp. 9–10. Zbl0175.26604en_GB
dc.contributor.authorEmailavfigallo@gmail.com
dc.contributor.authorEmailnora.oliva1@gmail.com
dc.contributor.authorEmailaziliani@gmail.com
dc.identifier.doi10.18778/0138-0680.47.2.02
dc.relation.volume47en_GB


Files in this item

Thumbnail
Name:
0_2_[89]-106_Figallo A. V., Oliva ...
Size:
188.5Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.