Switch to: References

Citations of:

On logic of complex algorithms

Studia Logica 40 (3):289 - 310 (1981)

Add citations

You must login to add citations.
  1. Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.
    In this paper, semi-Post algebras are introduced and investigated. The generalized Post algebras are subcases of semi-Post algebras. The so called primitive Post constants constitute an arbitrary partially ordered set, not necessarily connected as in the case of the generalized Post algebras examined in [3]. By this generalization, semi-Post products can be defined. It is also shown that the class of all semi-Post algebras is closed under these products and that every semi-Post algebra is a semi-Post product of some generalized (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation