Advertisement

ω+ -valued algorithmic logic as a tool to investigate procedures

  • H. Rasiowa
Theory Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)

Keywords

Partial Function Finite Sequence Propositional Variable Recursive Procedure Algorithmic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    BLIKLE,A.; MAZURKIEWICZ,A. An algebraic approach to the theory of programs,algorithms,languages and recursiveness.Proc.Intern. Symp.and Summer School on Math.Found.of Comp.Sci.,Warsaw,Jabłonna, August 21–27,1972, CCPAS Reports,1972Google Scholar
  2. [2]
    CADIOU,J.M. Recursive definitions of partial functions and their computations. Ph.D.Thesis,Computer Science Dept.,Stanford Univ.Google Scholar
  3. [3]
    ENGELER, E. Algorithmic properties of structures,Math.Syst. Theory 1 /1967/, 183–195Google Scholar
  4. [4]
    KARP, C.R. Languages with expressions of infinite length. North-Holland Publishing Co., Amsterdam 1964Google Scholar
  5. [5]
    KRECZMAR,A. Effectivity problems in algorithmic logic. Ph.D.Thesis,Faculty of Mathematics and Mechanics,University of Warsaw, 1973Google Scholar
  6. [6]
    MANNA, Z.; VUILLEMIN,J.Fixpoint approach to the theory of computation.Stanford Artificial Intelligence Project,Computer Science Department,School of Humanities and Sciences,Stanford University, Unpublished memo,1972Google Scholar
  7. [7]
    MIRKOWSKA, G. On formalized systems of algorithmic logic, Bull.Ac.Pol.Sci.,Ser.Sci.Math.Astron.Phys.,19 /1971/,421–428Google Scholar
  8. [8]
    MIRKOWSKA-SALWICKA, G.Algorithmic logic and its applications in the programming theory. Ph.D.Thesis,Faculty of Mathematics and Mechanics,University of Warsaw,1972Google Scholar
  9. [9]
    PERKOWSKA, E. On algorithmic m-valued logics.Bull.Ac.Pol. Sci.,Ser.Sci.Math.Astron.Phys.,20 /1972/,717–719Google Scholar
  10. [10]
    RASIOWA, H. On logical structure of programs,ibid.,20 /1972/, 319–324Google Scholar
  11. [11]
    RASIOWA,H. On a logical structure of programs,Proc.Intern. Symp.and Summer School on Math.Found.of Comp.Sci.,Warsaw,Jabłonna, August 21–27,1972,CCPAS Reports,1972Google Scholar
  12. [12]
    RASIOWA, H. On generalized Post algebras of order ω+ and ω+-valued predicate calculi.Bull.Ac.Pol.Sci.,Ser.Sci.Math.Astron.Phys., 21 /1973/,209–219Google Scholar
  13. [13]
    RASIOWA, H. On logical structure of mix-valued programs and ω+-valued algorithmic logic.ibid., 21 /1973/,451–458Google Scholar
  14. [14]
    RASIOWA, H. Formalized ω+-valued algorithmic systems.ibid., 21 /1973/,559–565Google Scholar
  15. [15]
    RASIOWA,H. On ω+-valued algorithmic logic and related problems. CCPAS Reports,1974Google Scholar
  16. [16]
    RASIOWA, H. A simplified formalization of ω+-valued algorithmic logic. Bull.Ac.Pol.Sci.,Ser.Sci.Math.Astron.Phys.,22 /1974/,595–603Google Scholar
  17. [17]
    RASIOWA, H. Extended ω+-valued algorithmic logic. ibid. 22 /1974/,605–610Google Scholar
  18. [18]
    Scott,D. An outline of a Mathematical Theory of Computation. Oxford University computing Laboratory,Programming Research Group, Technical Monograph PRG 2 /November 1970/Google Scholar
  19. [19]
    SALWICKI, A. Formalized algorithmic languages. Bull.Ac.Pol. Sci.,Ser.Sci.Math.Astron.Phys.,18 /1970/,227–232Google Scholar
  20. [20]
    SALWICKI, A. On the equivalence of FS-expressions and programs. ibid. 18 /1970/,275–278Google Scholar
  21. [21]
    SALWICKI, A. On the predicate calculi with the iteration quantifiers.ibid. 18 /1970/,279–285Google Scholar
  22. [22]
    SALWICKI,A. Programmability and Recursiveness /an application of algorithmic logic to procedures/. To appear in Dissertationes MathematicaeGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • H. Rasiowa
    • 1
  1. 1.Institute of MathematicsUniversity of Warsaw PKiNWarsawPoland

Personalised recommendations