Journal of Formalized Mathematics, Volume 8, 1996

Table of contents

  1. Lattice of Congruences in a Many Sorted Algebra
    by Robert Milewski
  2. Miscellaneous Facts about Functions
    by Grzegorz Bancerek and Andrzej Trybulec
  3. Examples of Category Structures
    by Andrzej Trybulec
  4. On the Category of Posets
    by Adam Grabowski
  5. An Extension of \bf SCM
    by Andrzej Trybulec, Yatsuka Nakamura, and Piotr Rudnicki
  6. Components and Unions of Components
    by Yatsuka Nakamura and Andrzej Trybulec
  7. The \bf $SCM_FSA$ computer
    by Andrzej Trybulec, Yatsuka Nakamura, and Piotr Rudnicki
  8. On the Many Sorted Closure Operator and the Many Sorted Closure System
    by Artur Kornilowicz
  9. Computation in \bf $SCM_FSA$
    by Andrzej Trybulec and Yatsuka Nakamura
  10. On the Closure Operator and the Closure System of Many Sorted Sets
    by Artur Kornilowicz
  11. Translations and Endomorphisms in Many Sorted Algebras
    by Grzegorz Bancerek
  12. More on the Lattice of Many Sorted Equivalence Relations
    by Robert Milewski
  13. Modifying addresses of instructions of \bf $SCM_FSA$
    by Andrzej Trybulec and Yatsuka Nakamura
  14. The correspondence between monotonic many sorted signatures and well-founded graphs
    by Czeslaw Bylinski and Piotr Rudnicki
  15. Relocability for \bf $SCM_FSA$
    by Andrzej Trybulec and Yatsuka Nakamura
  16. More on the Lattice of Congruences in a Many Sorted Algebra
    by Robert Milewski
  17. The correspondence between monotonic many sorted signatures and well founded graphs. Part II
    by Czeslaw Bylinski and Piotr Rudnicki
  18. Functors for Alternative Categories
    by Andrzej Trybulec
  19. Basic Properties about Functor Structures
    by Claus Zinn and Wolfgang Jaksch
  20. Some Multi-instructions defined by sequence of instructions of SCM+FSA
    by Noriko Asamoto
  21. More on Products of Many Sorted Algebras
    by Mariusz Giero
  22. Adjacency Concept for Pairs of Natural Numbers
    by Yatsuka Nakamura and Andrzej Trybulec
    Received June 10, 1996
  23. Inverse Limits of Many Sorted Algebras
    by Adam Grabowski
  24. On the Trivial Many Sorted Algebras and Many Sorted Congruences
    by Artur Korni\l owicz
  25. Examples of Category Structures
    by Adam Grabowski
  26. On the compositions of macro instructions
    by Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto
  27. Memory handling for SCM+FSA
    by Piotr Rudnicki and Andrzej Trybulec
  28. Some Topological Properties of Cells in $R^2$
    by Yatsuka Nakamura and Andrzej Trybulec
  29. On the compositions of macro instructions, Part II
    by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec
  30. The First Part of Jordan's Theorem for Special Polygons
    by Yatsuka Nakamura and Andrzej Trybulec
  31. On the compositions of macro instructions, Part III
    by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec
  32. Constant assignment macro instructions of SCM+FSA, Part II
    by Noriko Asamoto
  33. Conditional branch macro instructions of SCM+FSA, Part I (preliminary)
    by Noriko Asamoto
  34. Conditional branch macro instructions of SCM+FSA, Part II
    by Noriko Asamoto
  35. Bounds in Posets and Relational Substructures
    by Grzegorz Bancerek
  36. Directed Sets, Nets, Ideals, Filters, and Maps
    by Grzegorz Bancerek
  37. Fix-points in complete lattices
    by Piotr Rudnicki and Andrzej Trybulec
  38. Boolean Posets, Posets under Inclusion and Products of Relational Structures
    by Adam Grabowski and Robert Milewski
  39. Properties of Relational Structures, Posets, Lattices and Maps
    by Mariusz \.Zynel and Czes{\l}aw Byli\'nski
  40. Galois Connections
    by Czes\law Byli\'nski
  41. Cartesian Products of Relations and Relational Structures
    by Artur Korni{\l}owicz
  42. Definitions and Properties of the Join and Meet of Subsets
    by Artur Korni{\l}owicz
  43. Meet - continuous Lattices
    by Artur Korni{\l}owicz
  44. The "Way-Below" Relation
    by Grzegorz Bancerek
  45. Auxiliary and Approximating Relations
    by Adam Grabowski
  46. 2's Complement Circuit
    by Katsumi Wasaki and Pauline N. Kawamoto
  47. The Equational Characterization
    by Mariusz \.Zynel
  48. Miscellaneous Facts about Relation Structure
    by Agnieszka Julia Marasik
  49. Moore-Smith Convergence
    by Andrzej Trybulec
  50. Duality in Relation Structures
    by Grzegorz Bancerek
  51. Irreducible and Prime Elements
    by Beata Madras
  52. Prime Ideals and Filters
    by Grzegorz Bancerek
  53. Algebraic Lattices
    by Robert Milewski
  54. Reconstructions of Special Sequences
    by Yatsuka Nakamura and Roman Matuszewski
  55. Conjugate Sequences, Bounded Complex Sequences and Convergent Complex Sequences
    by Adam Naumowicz
  56. On The Topological Properties of Meet-Continuous Lattices
    by Artur Kornilowicz
  57. Institution of Many-sorted Algebras, Part I : Signature Reduct of an Algebra
    by Grzegorz Bancerek

[MML identifier index, Mizar home page]