Table of contents

Some Properties of the Intervals
by
Jozef Bialas

Binary Arithmetics, Addition and Subtraction of Integers
by
Yasuho Mizuhara and
Takaya Nishiyama

Boolean Properties of Lattices
by
Agnieszka Julia Marasik

Many Sorted Algebras
by
Andrzej Trybulec

On the Group of Inner Automorphisms
by
Artur Kornilowicz

Subalgebras of Many Sorted Algebra. Lattice of Subalgebras
by
Ewa Burakowska

Products of Many Sorted Algebras
by
Beata Madras

Homomorphisms of Many Sorted Algebras
by
Malgorzata Korolkiewicz

Free Many Sorted Universal Algebra
by
Beata Perkowska

\Tzero\ Topological Spaces
by
Mariusz Zynel and
Adam Guzowski

Many Sorted Quotient Algebra
by
Malgorzata Korolkiewicz

Quantales
by
Grzegorz Bancerek

Sequences in $\calE^N_\rmT$
by
Agnieszka Sakowicz,
Jaroslaw Gryko,
and
Adam Grabowski

Extremal Properties of Vertices on Special Polygons, Part I
by
Yatsuka Nakamura and
Czeslaw Bylinski

Relocatability
by
Yasushi Tanaka

Maximal AntiDiscrete Subspaces of Topological Spaces
by
Zbigniew Karno

On Kolmogorov Topological Spaces
by
Zbigniew Karno

Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space
by
Zbigniew Karno

Projective Planes
by
Michal Muzalewski

The Formalization of Simple Graphs
by
Yozo Toda

Solvable Groups
by
Katarzyna Zawadzka

Ideals
by
Grzegorz Bancerek

Categorial Categories and Slice Categories
by
Grzegorz Bancerek

Preliminaries to Circuits
by
Yatsuka Nakamura,
Piotr Rudnicki,
Andrzej Trybulec,
and
Pauline N. Kawamoto

Minimization of finite state machines
by
Miroslava Kaloper and
Piotr Rudnicki

Subtrees
by
Grzegorz Bancerek

Terms over many sorted universal algebra
by
Grzegorz Bancerek

On the Decomposition of the Continuity
by
Marian Przemski

A Scheme for Extensions of Homomorphisms of Manysorted Algebras
by
Andrzej Trybulec

The Correspondence Between Homomorphisms of Universal Algebra \& Many Sorted Algebra
by
Adam Grabowski

Preliminaries to Universally Free Many Sorted Algebras
by
Yatsuka Nakamura,
Piotr Rudnicki,
Andrzej Trybulec,
and
Pauline N. Kawamoto

On the Group of Automorphisms of Universal Algebra \& Many Sorted Algebra
by
Artur Kornilowicz

Introduction to Circuits
by
Yatsuka Nakamura,
Piotr Rudnicki,
Andrzej Trybulec,
and
Pauline N. Kawamoto
[MML identifier index,
Mizar home page]