Journal of Formalized Mathematics, Volume 6, 1994

Table of contents

  1. Some Properties of the Intervals
    by Jozef Bialas
  2. Binary Arithmetics, Addition and Subtraction of Integers
    by Yasuho Mizuhara and Takaya Nishiyama
  3. Boolean Properties of Lattices
    by Agnieszka Julia Marasik
  4. Many Sorted Algebras
    by Andrzej Trybulec
  5. On the Group of Inner Automorphisms
    by Artur Kornilowicz
  6. Subalgebras of Many Sorted Algebra. Lattice of Subalgebras
    by Ewa Burakowska
  7. Products of Many Sorted Algebras
    by Beata Madras
  8. Homomorphisms of Many Sorted Algebras
    by Malgorzata Korolkiewicz
  9. Free Many Sorted Universal Algebra
    by Beata Perkowska
  10. \Tzero\ Topological Spaces
    by Mariusz Zynel and Adam Guzowski
  11. Many Sorted Quotient Algebra
    by Malgorzata Korolkiewicz
  12. Quantales
    by Grzegorz Bancerek
  13. Sequences in $\calE^N_\rmT$
    by Agnieszka Sakowicz, Jaroslaw Gryko, and Adam Grabowski
  14. Extremal Properties of Vertices on Special Polygons, Part I
    by Yatsuka Nakamura and Czeslaw Bylinski
  15. Relocatability
    by Yasushi Tanaka
  16. Maximal Anti-Discrete Subspaces of Topological Spaces
    by Zbigniew Karno
  17. On Kolmogorov Topological Spaces
    by Zbigniew Karno
  18. Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space
    by Zbigniew Karno
  19. Projective Planes
    by Michal Muzalewski
  20. The Formalization of Simple Graphs
    by Yozo Toda
  21. Solvable Groups
    by Katarzyna Zawadzka
  22. Ideals
    by Grzegorz Bancerek
  23. Categorial Categories and Slice Categories
    by Grzegorz Bancerek
  24. Preliminaries to Circuits
    by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto
  25. Minimization of finite state machines
    by Miroslava Kaloper and Piotr Rudnicki
  26. Subtrees
    by Grzegorz Bancerek
  27. Terms over many sorted universal algebra
    by Grzegorz Bancerek
  28. On the Decomposition of the Continuity
    by Marian Przemski
  29. A Scheme for Extensions of Homomorphisms of Manysorted Algebras
    by Andrzej Trybulec
  30. The Correspondence Between Homomorphisms of Universal Algebra \& Many Sorted Algebra
    by Adam Grabowski
  31. Preliminaries to Universally Free Many Sorted Algebras
    by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto
  32. On the Group of Automorphisms of Universal Algebra \& Many Sorted Algebra
    by Artur Kornilowicz
  33. Introduction to Circuits
    by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto

[MML identifier index, Mizar home page]