Description

• Title:
  Free Modal Pseudocomplemented De Morgan Algebras
• Creator:
  Figallo, Aldo V.;
  Oliva, Nora;
  Ziliani, Alicia
• Contributor:
  Aldo V. Figallo, Nora Oliva, Instituto de Ciencias Básicas, Universidad Nacional de San Juan, (5400) San Juan, Argentina;
  Alicia Ziliani, Instituto de Matemática, Universidad Nacional del Sur, (8000) Bahía Blanca, Argentina;
  avfigallo@gmail.com;
  nora.oliva1@gmail.com;
  aziliani@gmail.com
• Description:
  Modal 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].
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.01.14;
  2018
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  47
• Subject:
  Pseudocomplemented De Morgan algebras;
  congruences;
  free algebras
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/26414 ;
  2449-836X;
  10.18778/0138-0680.47.2.02
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image