On the relation between heterogeneous uniform 2-algebraic closure operators and heterogeneous algebras

• Autores: Joan B. Climent Vidal , Luis Fernandino Larrinaga
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 40, Fasc. 2, 1989, págs. 93-101
• Idioma: inglés
• Títulos paralelos:
  • Sobre la relación entre operadores de cierre 2-algebraicos uniformes y heterogéneos y las álgebras heterogéneas
• Enlaces
  • Texto completo
• Resumen

  • In this paper it is shown that the heterogeneous translation of a theorem due to Birkhoff and Frink, proved not to be true by Mathiessen, is valid for a restricted class of heterogeneous algebraic closure operators.\newline 1980 Mathematics Subject Classification: Primari 08A30; Secondary 06A15

• Referencias bibliográficas
  • G. Birkhoff and O. Frink, Representation of lattices by sets, Trans. Amer. Math. Soc. 64 (1948), 299–316.
  • G. Birkhoff and J. Lipson, Heterogeneous algebras, J. of Comb. Theory 8 (1970), 115–133.
  • P. M. Cohn, Universal Algebra, Harper and Row, New York, 1965.
  • J. A. Goguen and J. Meseguer, Completeness of many-sorted equational logic, Houston J. of Math. 11 (1985), 307–334.
  • J. Herbrand, Recherches sur la théorie de la démonstration, in Écrits Logiques, pp. 35–153, P. U. F., Paris, 1968.
  • J. Hook, A note on interpretations of many-sorted theories, J. of Symb. Logic 50 (1985), 372–374.
  • G. Ivănescu, Theorie der Heterogenen Algebren, Mathematik-Arbeits-Papiere Nr. 3, Universität Bremen, Bremen, 1976.
  • A. Schmidt, Ueber deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. 175 (1938), 485–506.
  • D. Monk, Mathematical Logic, Springer, Heidelberg-Berlin-New York, 1976.
  • H. Wang, Logic of many-sorted theories, J. of Symb. Logic 17 (1952), 105–116.