[Prev][Next][Index][Thread]

last issue of the paper journal FORMALIZED MATHEMATICS 5(2), 1996




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


My apologies for multiple copies
--------------------------------

Below are the titles from the latest issue of FORMALIZED MATHEMATICS
(ISSN 1426-2630), Vol. 5, No. 2, 1996.


Please note that:

 - FORMALIZED MATHEMATICS, published since 1990, is the proof-checked
   "paper journal" of the Mizar articles,

 - we have changed the publisher; now it is Warsaw University,
   Bialystok Campus; previously - Universite Catholique de Louvain,

 - subscriptions and orders should be sent to the address below.

Roman Matuszewski  -  Editor in Chief

e-mail:  romat@plearn.edu.pl
   fax:  +48 (22) 624-03-49

----------------------------------------------------------------------
FORMALIZED MATHEMATICS (ISSN 1426-2630), Vol. 5, No. 2, 1996
----------------------------------------------------------------------

IDEALS
      by Grzegorz Bancerek, pp.149-156,

CATEGORIAL CATEGORIES AND SLICE CATEGORIES
      by Grzegorz Bancerek, pp.157-165,

PRELIMINARIES TO CIRCUITS, I
      by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec,
       and Pauline N. Kawamoto, pp.167-172,

MINIMIZATION OF FINITE STATE MACHINES
      by Miroslava Kaloper and Piotr Rudnicki, pp.173-184,

SUBTREES
      by Grzegorz Bancerek, pp.185-190,

TERMS OVER MANY SORTED UNIVERSAL ALGEBRA
      by Grzegorz Bancerek, pp.191-198,

ON THE DECOMPOSITION OF THE CONTINUITY
      by Marian Przemski, pp.199-204,

A SCHEME FOR EXTENSIONS OF HOMOMORPHISMS OF MANY SORTED ALGEBRAS
      by Trybulec Andrzej, pp.205-209,

THE CORRESPONDENCE BETWEEN HOMOMORPHISMS OF UNIVERSAL ALGEBRA
AND MANY SORTED ALGEBRA
      by Grabowski Adam, pp.211-214,

PRELIMINARIES TO CIRCUITS, II
      by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec
         and Pauline N. Kawamoto, pp.215-220,

ON THE GROUP OF AUTOMORPHISMS OF UNIVERSAL ALGEBRA
AND MANY SORTED ALGEBRA
      by Kornilowicz Artur, pp.221-226,

INTRODUCTION TO CIRCUITS, I
      by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec
         and Pauline N. Kawamoto, pp.227-232,

THE CANTOR SET
      by Alexander Yu. Shibakov and Andrzej Trybulec, pp.233-236,

LOGICAL EQUIVALENCE OF FORMULAE
      by Oleg Okhotnikov, pp.237-240,

SOME PROPERTIES OF RESTRICTIONS OF FINITE SEQUENCES
      by Czeslaw Bylinski, pp.241-245,

SPECIAL POLYGONS
      by Czeslaw Bylinski and Yatsuka Nakamura, pp.247-252,

THE ONE-DIMENSIONAL LEBESGUE MEASURE
      by Jozef Bialas, pp.253-258,

CATEGORIES WITHOUT UNIQUENESS OF cod AND dom
      by Andrzej Trybulec, pp.259-267,

EXTENSIONS OF MAPPINGS ON GENERATOR SET
      by Artur Kornilowicz, pp.269-272,

INTRODUCTION TO CIRCUITS, II
      by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec
         and Pauline N. Kawamoto, pp.273-278,

DEFINITIONS AND BASIC PROPERTIES OF BOOLEAN AND UNION
OF MANY SORTED SETS
      by Artur Kornilowicz, pp.279-281,

COMBINING OF CIRCUITS
      by Yatsuka Nakamura and Grzegorz Bancerek, pp.283-295.

----------------------------------------------------------------------