On algorithmic logic with partial operations

  • Uwe Petermann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)


Completeness Theorem Partial Operation Consequence Operation Algorithmic Logic Algorithmic Theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /Ass/.
    ... Asser, G., Einführung in die mathematische Logik III, BSB B.G.Teubner Verlagsgesellschaft, Leipzig 1981.Google Scholar
  2. /Ban/.
    ... Banachowski, L., Investigations on properties of programs by means of extended algorithmic logic I, Fundamenta Informaticae Vol.I (1977), 93–119.Google Scholar
  3. /BCP/.
    ... Banachowski, L., Kreczmar, A., Mirkowska, G., Rasiowa, H., Salwicki, A., An Introduction to Algorithmic Logic in: Mazurkiewicz, A., Pawlak, Z., Theoretical Foundations of Computer Science, Banach Centre Publ. Vol. 2, Polish Sc. Publ., Warsaw 1977, 7–99.Google Scholar
  4. /Mir/.
    ... Mirkowska, G., Algorithmic Logic and its Applications in the Theory of Programs, Fundamenta Informaticae Vol.I (1977)1–17.Google Scholar
  5. /Ra-Si/.
    .. Rasiowa, H., Sikorski, R., Mathematics of metamathematics, PWN, Warszawa 1970.Google Scholar
  6. /Sal1/.
    ... Salwicki,A., On Algorithmic Theory of Dictionaries,manuscript 1980.Google Scholar
  7. /Sal2/.
    ... —, Axioms of Algorithmic Logic univocally determine Semantics of programs in Proc. MFCS `80, Lect. Notes Comp. Sc. Vol.88, Springer Vlg. Heidelberg-New York-Berlin 352–361.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Uwe Petermann
    • 1
  1. 1.Sektion MathematikKarl-Marx-Universität LeipzigLeipzig

Personalised recommendations