Journal of Formalized Mathematics
Volume 11, 1999
University of Bialystok
Copyright (c) 1999 Association of Mizar Users

Technical Preliminaries to Algebraic Specifications


Grzegorz Bancerek
University of Bialystok

MML Identifier: ALGSPEC1

The terminology and notation used in this paper have been introduced in the following articles [14] [18] [19] [6] [17] [5] [20] [8] [9] [10] [15] [11] [7] [1] [16] [13] [2] [12] [4] [3]

Contents (PDF format)

  1. Preliminaries
  2. Replacement in Signature
  3. Signature Extensions
  4. Algebras

Bibliography

[1] Grzegorz Bancerek. K\"onig's theorem. Journal of Formalized Mathematics, 2, 1990.
[2] Grzegorz Bancerek. Minimal signature for partial algebra. Journal of Formalized Mathematics, 7, 1995.
[3] Grzegorz Bancerek. Institution of many sorted algebras. Part I: Signature reduct of an algebra. Journal of Formalized Mathematics, 8, 1996.
[4] Grzegorz Bancerek. Translations, endomorphisms, and stable equational theories. Journal of Formalized Mathematics, 8, 1996.
[5] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Journal of Formalized Mathematics, 1, 1989.
[6] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[7] Czeslaw Bylinski. Functions from a set to a set. Journal of Formalized Mathematics, 1, 1989.
[8] Czeslaw Bylinski. Partial functions. Journal of Formalized Mathematics, 1, 1989.
[9] Czeslaw Bylinski. Finite sequences and tuples of elements of a non-empty sets. Journal of Formalized Mathematics, 2, 1990.
[10] Czeslaw Bylinski. The modification of a function by a function and the iteration of the composition of a function. Journal of Formalized Mathematics, 2, 1990.
[11] Patricia L. Carlson and Grzegorz Bancerek. Context-free grammar --- part I. Journal of Formalized Mathematics, 4, 1992.
[12] Yatsuka Nakamura and Grzegorz Bancerek. Combining of circuits. Journal of Formalized Mathematics, 7, 1995.
[13] Andrzej Nedzusiak. Probability. Journal of Formalized Mathematics, 2, 1990.
[14] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[15] Andrzej Trybulec. Many-sorted sets. Journal of Formalized Mathematics, 5, 1993.
[16] Andrzej Trybulec. Many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[17] Andrzej Trybulec. A scheme for extensions of homomorphisms of many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[18] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[19] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[20] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.

Received September 7, 1999


[ Download a postscript version, MML identifier index, Mizar home page]