The proof-checking component for the pleats programming system enabling specification of theories

  • Jolanta Cybulka
  • Jerzy Bartoszek
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Banachowski, L., A. Kreczmar and others: An Introduction to Algorithmic Logic, Mathem. Investig. in the Theory of Programs, Banach Center Pub., vol. 2, 1977.Google Scholar
  2. [2]
    Bartoszek, J.: The Programming Language with the Specifications of Algorithmic Theories. Ph. D. Thesis, 1983 /in Polish/.Google Scholar
  3. [3]
    Gordon, M. J., A. J. Milner and Ch. P. Wadsworth: Edinburgh LCF, LNCS, Springer-Verlag 1979.Google Scholar
  4. [4]
    Milner, R.: Logic for Computable Functions — Description of A Machine Implementation. Stanf. Univ. Reports, 1972.Google Scholar
  5. [5]
    Mirkowska, G.: Algorithmic Logic and its Applications in the Theory of Programs I&II, Annales Societatis Mathematicae Polonae, Ser. IV, Fundamenta Informaticae, vol. I, nr. 1&2 (1977), 1–17 & 147–165.Google Scholar
  6. [6]
    Rasiowa, H.: Algorithmic Logic, ICS PAS Reports, No 281, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jolanta Cybulka
  • Jerzy Bartoszek
    • 1
  1. 1.Technical University of PoznańPoznańPoland

Personalised recommendations