Switch to: References

Citations of:

Semi-post algebras

Studia Logica 46 (2):149 - 160 (1987)

Add citations

You must login to add citations.
  1. A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.
    This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark