New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Christoph Schwarzweller submitted an article entitled:
      "A Characterization of Concept Lattices; Dual Concept Lattices"
        (MML identifier: CONLAT_2)
 
Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, IV"
        (MML identifier: BVFUNC12)

Shunichi Kobayashi and Yatsuka Nakamura submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, V"
        (MML identifier: BVFUNC13)

Yoshinori Fujisawa and Yasushi Fuwa submitted an article entitled:
      "Definitions of Radix-2k Signed-Digit number and its adder algorithm"
        (MML identifier: RADIX_1)
 
Grzegorz Bancerek submitted an article entitled:
      "Retracts and Inheritance"
        (MML identifier: YELLOW16)
 
Grzegorz Bancerek submitted an article entitled:
      "Technical Preliminaries to Algebraic Specifications"
        (MML identifier: ALGSPEC1)
 
Piotr Rudnicki and Andrzej Trybulec submitted an article entitled:
      "Multivariate polynomials with arbitrary number of variables"
        (MML identifier: POLYNOM1)

Grzegorz Bancerek submitted an article entitled:
      "Continuous Lattices between T$_0$ Spaces"
        (MML identifier: WAYBEL26)

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, VI"
        (MML identifier: BVFUNC14)

Shunichi Kobayashi submitted an article entitled:
      "Predicate Calculus for Boolean Valued Functions, VII"
        (MML identifier: BVFUNC15)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.uwb.edu.pl/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users