Dynamic algebras of programs

  • I. Németi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)


Closure Operator Free Algebra Algebra Part Algebraic Logic Classical Propositional 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andréka, H.-Gergely, T.-Németi, I., On universal algebraic construction of logics. Studia Logica 36, 1977, Nr.1–2, pp.9–47.Google Scholar
  2. 2.
    Andréka, H.-Németi, I., A simple, purely algebraic proof of the completeness of some first order logics. Algebra Universalis 5, 1975, pp.8–15.Google Scholar
  3. 3.
    Andréka,H.-Németi,I., Generalization of variety and quasivariety concept to partial algebras through category theory. Dissertationes Mathematicae (Rozprawy) No.204. To appear.Google Scholar
  4. 4.
    Andréka,H.-Németi,I., A general axiomatizability theorem formulated in terms of cone-injective subcategories. Contributions to Universal Algebra (Proc.Coll.Esztergom 1977) Colloq.Math.Soc.J.Bolyai Vol.29, North-Holland. In press.Google Scholar
  5. 5.
    Andréka,H.-Németi,I., Every free algebra in the variety generated by the representable dynamic algebras is separable and representable. Theoretical Computer Science. To appear.Google Scholar
  6. 6.
    Andréka,H.-Németi,I.-Sain,I., Relativization of dynamic algebras a tool for decomposition of dynamic theories. Preprint, 1980.Google Scholar
  7. 7.
    Grätzer, G., Universal algebra. (Second Edition) Springer Verlag, New York, 1979.Google Scholar
  8. 8.
    Henkin,L.-Monk,J.D.-Tarski,A., Cylindric algebras Part I. North-Holland, 1971.Google Scholar
  9. 9.
    Kozen, D., A representation theorem for models of *-free PDL. Report RC7864, IBM Research, Yortown Heights, New York, 1979.Google Scholar
  10. 10.
    Lugowski, H., Grundzüge der Universellen Algebra. Teubner Verlag, Leipzig, 1976.Google Scholar
  11. 11.
    Pratt,V.R., Dynamic algebras: examples, constructions, applications. Report MIT/LCS/TM-138. July 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • I. Németi
    • 1
  1. 1.Mathematical Institute of the Hungarian Academy of SciencesBudapestHungary

Personalised recommendations