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