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