Synthesis and complexity of logical systems

  • Hans-Jürgen Hoehnke
Submitted Abstract
Part of the Lecture Notes in Computer Science book series (LNCS, volume 25)


Logical System Operator Term Building Element Partial Operation Logical System Synthesis 
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.
    Birkhoff, G., and Lipson, J.D.: Heterogeneous algebras, J. Combinatorial Theory 8, 1970, 115–133.MathSciNetGoogle Scholar
  2. 2.
    Budach, L., and Hoehnke, H.-J.: Automaten und Funktoren, Berlin, 1974.Google Scholar
  3. 3.
    Higgins, P.J.: Algebras with a scheme of operators, Math. Nachr. 27, 1963, 115–132.MathSciNetGoogle Scholar
  4. 4.
    Hoehnke, H.-J.: Struktursätze der Algebra und Kompliziertheit logischer Schemata, Math. Nachr. (im Druck), 1974a.Google Scholar
  5. 5.
    Hoehnke, H.-J.: Kompliziertheit Boolescher Schaltkreise, Math. Nachr. (im Erscheinen), 1974b.Google Scholar
  6. 6.
    Kaphengst, H., and Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, Studien zur Algebra und ihre Anwendungen, Berlin, 1972.Google Scholar
  7. 7.
    Kobrinski, N.E., and Trachtenbrot, B.A.: Einführung in die Theorie endlicher Automaten, Berlin, 1967.Google Scholar
  8. 8.
    Lambek, J.: Functional completeness of cartesian categories, Preprint, Montréal, 1973.Google Scholar
  9. 9.
    Pöschel, R.: Postsche Algebren von Funktionen über einer Familie end-licher Mengen, Z. Math. Logik Grundlagen Math. 19, 1973, 37–74.MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Hans-Jürgen Hoehnke
    • 1
  1. 1.Akademie der Wissenschaften der DDRZentralinstitut für Mathematik und MechanikBerlinDDR

Personalised recommendations